Библиография Лаврова И.А.

Slaman T.A. [2004] Σ n -bounding and Δ n -induction Proc. Amer. Math. Soc., 132, № 8, 2449-2456 10.02.124 article Вернуться к поиску

Slaman T.A. [2000] Recursive theory in set theory Contemporary Math., 257, 273-278 01.ВН12.66 article Вернуться к поиску

Slaman T.A. [1998] Mathematical definability Truth mathematics, (Mussomeli, 1995), Oxford Univ. Press, NY, 233-251 ? article Вернуться к поиску

Slaman T.A. [1986] Σ 1 -definitions with parameters J. Symbolic Logic, 51, № 2, 453-461 86.12.56 article Вернуться к поиску

Slaman T.A. [1999] The global structure of the Turing degrees Handbook of Computability Theory, Elsevier,155-168 ? O article Вернуться к поиску

Slaman T.A. [1986] On the Kleene degrees of Π 1 1 sets J. Symbolic Logic, 51, № 2, 352-359 86.12.42 article Вернуться к поиску

Slaman T.A. [1983] The extended plus-one hypothesis – a relative consistency result Nagoya Math. J., 92, 107-120 84.08.45 article Вернуться к поиску

Slaman T.A. [1998] Relative to any nonrecursive set Proc. Amer. Math. Soc., 126, № 7, 2117-2122 00.11.56 article Вернуться к поиску

Slaman T.A. [2005] Aspects of the Turing jump Logic Coll’2000, A. K. Peter, Ltd. Wellesley, 365-382 ? article Вернуться к поиску

Shinoda J., Slaman T.A. [2000] Recursive in a generic real J. Symbolic Logic, 65, № 1, 164-172 02.10.64 O article Вернуться к поиску

Slaman T.A., Woodin H.W. [2007] Definability in degree structures J. Math. Logic, ? ? article Вернуться к поиску

Kučera A. , Slaman T.A. [2006] Turing incomparability in Scott sets Proc. Amer. Math. Soc., 135, № 11, 3723-3731 ? article Вернуться к поиску

Maass W., Slaman T.A. [1992] The complexity types of computable sets J. Comp. and Syst. Sci., 44, № 2, 168-192 ? article Вернуться к поиску

Kučera A., Slaman T.A. [2001] Randomness and recursive enumerability SIAM J. Comput., 31, № 1, 199-211 ВН03.01.453 article Вернуться к поиску

Harrington L. A., Slaman T.A. ? Interpreting arithmetic in the Turing degrees of the recursively enumerable sets ? ? S article Вернуться к поиску

Sacks G.E., Slaman T.A. [1990] Generalized hyperarithmetical theory Proc. London Math, Soc., 60, № 3, 417-443 91.06.40 article Вернуться к поиску

Shore R.A., Slaman T.A. [1990] Working below a low 2 recursively enumerable degrees Arch. Math. Logik Grundl., 29, № 3, 201-211 ? O article Вернуться к поиску

Mytilinaios M.E., Slaman T.A. [2003] Differences between resource bounded degree structures Notre Dame J. Formal Logic, 44, №.1, 1-12 ? article Вернуться к поиску

Downey R. G., Slaman T.A. [1989] Completely mitotic r.e. degrees Ann. Pure Appl. Logic, 41, № 2, 119-152 ? O article Вернуться к поиску

Shore R.A., Slaman T.A. [1999] Defining the Turing jump Math. Research Letters, 6, № 5-6, 711-722 ? article Вернуться к поиску

Groszek M.J., Slaman T.A. [1997] Π 1 0 classes and minimal degrees Ann. Pure Appl. Logic, 87, № 2, 117-144 ? article Вернуться к поиску

Shore R.A., Slaman T.A. [2001] A splitting theorem for n-REA degrees Proc. Amer. Math. Soc., 129, № 12, 3721-3728 ? article Вернуться к поиску

Sacks G.E., Slaman T.A. [1987] Inadmissible forcing Adv. in Math., 66, № 1, 1-30 88.06.59 article Вернуться к поиску

Groszek M.S., Slaman T.A. ? Foundations of the Priority Method, I: finite injury In prepar. O article Вернуться к поиску

Ambos-Spies K., Lempp S., Slaman T.A. ? Generating sets for the recursively enumerable Turing degrees ? ? article Вернуться к поиску

Nies A., Shore R.A., Slaman T.A. [1996] Definability in the recursively enumerable Turing-degrees Bull. Symbolic Logic, 2, № 4, 392-404 ? article Вернуться к поиску

Ambos-Spies K., Kjos-Hanssen B., Lempp S., Slaman T.A. [2004] Comparing DNR and WWKL J. Symbolic Logic, 69, № 4, 1089-1104 ? article Вернуться к поиску

Slaman T.A. [1989] On bounded time Turing reducibility on the recursive sets Logic Coll’ 88, North Holland, 111-112 ? article Вернуться к поиску

Slaman T.A., Woodin H. W. [1986] Definability in the Turing degrees Ill. J. Math., 30, № 2, 320-334 87.05.44 OS article Вернуться к поиску

Slaman T.A., Steel J.R. [1989] Complementation in the Turing degrees J. Symbolic Logic, 54, № 1, 160-176 89.12.78 OS article Вернуться к поиску

Hinman P.G., Slaman T.A. [1991] Jump embedding in the Turing degrees J. Symbolic Logic, 56, № 2, 563-591 92.08.64 article Вернуться к поиску

Shore R.A., Slaman T.A. [1993] Working below a highly recursively enumerable degree J. Symbolic Logic,, 58, № 3, 824-859 95.Г3.94 O article Вернуться к поиску

Cholak P., Groszek M., Slaman T.A. A. [2001] An almost deep degrees J. Symbolic Logic, 66, № 2, 881-901 05.09.74 article Вернуться к поиску

Greenberg N., Shore R.A., Slaman T.A. [2006] The elementary theory of the metarecursively enumerable degrees J. Math. Logic, 6, № 1, 380-397 ? article Вернуться к поиску

Ash C. J., Knight J.F., Slaman T.A. [1993] Relatively recursive expansions, II Fund. Math., 142, № 2, 147-161 94.02.75 R article Вернуться к поиску

Khoussainov B. M., Semukhin P., Slaman T.A. [2006] On Π 1 0 -presentations of algebras Arch. Math. Logik Grundl., 45, № 6, 769-781 ? article Вернуться к поиску

Slaman T.A. [1991] Degree structures Proc. Inter. Congress of Mathematicians., (Kyoto, 1990), Math. Soc. Japan, 303-316 95.05.55 O article Вернуться к поиску

Slaman T.A., Steel J.R. [1988] Definable functions on degrees Lect. Notes in Math., 1333, 37-55, Springer-Verlag, 89.03.36 S article Вернуться к поиску

Calhoun W., Slaman T.A. [1996] The Π 2 0 enumeration degrees are not dense J. Symbolic Logic, 61, № 4, 1364-1379 02.06.61 O article Вернуться к поиску

Lempp S., Slaman T.A., Sorbi A. [2005] On extensions of embeddings into the Σ 2 0 -enumeration degrees J. Math. Logic, 5, № 2, 247-298 ? article Вернуться к поиску

Slaman T.A., Soare R.I. [2001] Extensions of embeddings in the computably enumerable degrees Ann. Math., 154, № 1, 1-43 05.09.86 O article Вернуться к поиску

Slaman T.A., Soare R.I. [1995] Algebraic aspects of the computably enumerable degrees Proc. Nat. Acad. Sci., USA, 92, № 2 , 617-621 ? OS article Вернуться к поиску

Mytilinaios M.E., Slaman T.A. [1988] Σ 2 -collection and the infinite injury priority methods J. Symbolic Logic, 53, № 1, 212-221 88.09.81 O article Вернуться к поиску

Haught C. A., Slaman T.A. [1997] Automorphisms in the PTIME -Turing degrees of recursive sets Ann. Pure Appl. Logic, 84, № 1, 139-152 ? article Вернуться к поиску

Merkle W., Mihailovich N.J., Slaman T.A. [2004] Some results on effective randomness Lect. Notes in Comp. Sci.,3142, 983-995, Springer-Verlag, ? article Вернуться к поиску

Arslanov M. M., LaForte G. Slaman T.A. [1998] Relative enumerabikity in the difference hierarchy J. Symbolic Logic, 63, № 2, 411-420 01.11.70 article Вернуться к поиску

Ash C.J., Knight J.F., Manasse M., Slaman T.A. [1989] Generic copies of countable structures Ann. Pure Appl. Logic, 42, № 3, 195-205 ? G article Вернуться к поиску

Slaman T.A. [1985] Reflection and the priority method in E -recursion theory Lect. Notes in Math., 1141, 372-404, Springer-Verlag 86.05.65 S article Вернуться к поиску

Slaman T.A., Woodin H.W. [1997] Definabilile in the enumeration degrees Arch. Math. Logik Grundl., 36, № 4-5, 255-267 01.10.124 OS article Вернуться к поиску

Lempp S., Slaman T.A. [1989] A limit on relative genericity in the recursively enumerable sets J. Symbolic Logic, 54, № 2, 376-395 90.06.65 S article Вернуться к поиску