Search results

Turing A.M. [1950] The word problem in semi-groups with cancellation Ann. Math., 52, № 2 , 491-505 ~ article Вернуться к поиску

Turing A.M. [1939] Systems of logic based on ordinals Proc. London Math. Soc., 45, № 3,161-228 ~ OS article Вернуться к поиску

Turing A.M. [1937] Computability and λ- definability J. Symbolic Logic, 2, № 4, 153-163 ~ ROS article Вернуться к поиску

Turing A.M. [1954] Solvable and unsolvable problems Science News, 31, 7-23 55.2075 article Вернуться к поиску

Turing A.M. [1936] On computable numbers with an application to the Entscheidungsproblem Proc. London Math. Soc., 42, № 3-4, 230-265, corr. 43, № 7 (1937), 544-546 ~ ROS article Вернуться к поиску

Hodges A. [1983] Alan Turing: the enigma Simon and Schuster, NY ? O book Вернуться к поиску

Hugill D. [1969] Initial segments of Turing degrees Proc. London Math. Soc. 19, № 1, 1-15 69.07.71 O article Вернуться к поиску

Selivanov V.L. [2003] Wadge degrees of omega-languages of deterministic Turing machines Thеоr. infоrmatiсs and Appl., 37, 67-83 article Вернуться к поиску

Gill J. [1977] Computational complexity of probabilistic Turing machies SIAM J. Comp., 6, № 4, 675-695 78.B8.587 O article Вернуться к поиску

Kjos-Hanssen B. [2003] Local initial segments of the Turing degrees Bull. Symbolic Logic, 9, № 1, 26-36 06.01.71 article Вернуться к поиску

Büchi J.R. [1962] Turing machines and the Entscheidungproblems Math. Ann., 148, № 3, 201-213 63.05.63 article Вернуться к поиску

Cooper S.B. [1998] Beyond Gödel theorem : Turing nonrigidity revisted Lect. Notes in Logic., 11, 44-50, Springer-Verlag ? article Вернуться к поиску

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

Kechris A.S. [1991] Amenable equivalence relations and Turing degrees J. Symbolic Logic, 56, № 1, 182-194 92.10.24 article Вернуться к поиску

Bulitko V.K. [1999] About segment complexity of Turing reductions Math. Logic Quarerly, 45, № 4, 561 - 571 ? article Вернуться к поиску

Kleinberg E.M. [1973] A characterization of determinacy for Turing degree games Fund. Math., 80, № 3, 287-291 74.06.123 article Вернуться к поиску

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

Shore R.A. [2007] Direct and local definitions of the Turing jump J. Math. Logic, 7, № 2, 229-262 ? article Вернуться к поиску

Cooper S.B. ? An introduction to Turing nonrigidity ? ? article Вернуться к поиску

Chong C.T., Yu Liang [2007] Maximal chaings in the Turing degrees J. Symbolic Logic, 72, № 4, 1219-1227 ? article Вернуться к поиску

Cooper S.B. ? The limits of local Turing definability ? ? article Вернуться к поиску

Cooper S.B. ? Computability enumerable singleton and Turing definability ? ? article Вернуться к поиску

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

Dougherty R., Kechris A.S. [2000] How many Turing degrees are there? Contemporary Math., 257, 83-94 ? article Вернуться к поиску

Downey R. G., Solomon R. ? On minimal wtt degrees and computable enumerable Turing degrees ? ? article Вернуться к поиску

Nies A., Stephan F., Terwijn S. [2005] Randomness, relativization and Turing degrees J. Symbolic Logic, 70, № 2, 515-535 ? article Вернуться к поиску

Knight J. F., Miller S., Vanden Boom M. [2007] Turing computable embeddings J. Symbolic Logic, 72, № 4, 901- 918 ? article Вернуться к поиску

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

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

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

Wehner S. [1998] Enumerations countable structures and Turing degrees Proc. Amer. Math. Soc., 126, № 7, 2131-2139 00.11.57 article Вернуться к поиску

Montalban A. [2003] Embedding jump upper semilattices into the Turing degrees J. Symbolic Logic, 68, № 3, 989-1014 06.01.70 article Вернуться к поиску

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

Chong C.T. [1987] Σ 1 -density and Turing degrees Z. math. Logik und Grundl. Math., 33, № 2, 141-145 88.04.37 article Вернуться к поиску

Hodes H. T. [1978] Uniform upper bound on ideals of Turing degrees J. Symbolic Logic, 43, № 3, 601-612 79.05.70 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 Вернуться к поиску

Knight J. F., Nadel M.E. [1982] Expansions of models and Turing degrees J. Symbolic Logic, 47, № 3, 587-604 83.04.76 G article Вернуться к поиску

Lerman M. [1970] Turing degrees and many-one degrees of maximal sets J. Symbolic Logic, 35, № 1, 29-40 71.03.70 OS article Вернуться к поиску

Lerman M. [2008] The existential theory of the uppersemilattice of Turing degrees with least element and jump is decidable ? ? article Вернуться к поиску

Li A., Wang J. [2003] A hierarchy for the plus cupping Turing degrees J. Symbolic Logic, 68, № 3, 972-988 06.02.27 article Вернуться к поиску

Harizanov V. S. [1998] Turing degrees of certain isomorphic images of computable relations Ann. Pure Appl. Logic, 93, № 1-3, 103-113 ? G article Вернуться к поиску

Simpson S.G. [2007] An extension of the recursively enumerable Turing degrees J. London Math. Soc., 75, 287-297 09.03.144 article Вернуться к поиску

Shore R.A. [2007] Local definitions in degree structures: the Turing jumps, hypewrdegrees and beyond Bull. Symbolic Logic, 13, № 2, 226-239 ? article Вернуться к поиску

Chong C.T., Yu Liang ? Maximal antichaing in the Turing degrees Lect. Notes in Comp. Sci., 4497, 162-168, Springer ? article Вернуться к поиску

Cooper S.B., Li A. [2002] Turing definability in the Ershov hierarchy J. London Math. Soc., 66, № 3, 513-528 06.01.75 article Вернуться к поиску

T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу

Blum M. [1965] Enumeration of recursive sets by Turing machine Z. math. Logik und Grundl. Math., 11, № 3, 197-201 66.07.54 E article Вернуться к поиску

Ishmukhametov Sh.Т. [2000] On relative enumerability of Turing degrees Arch. Math. Logik Grundl., 39, № 3, 145-154 05.09.72 article Вернуться к поиску