Search results

Harrington L., Kechris A.S. [1975] On characterizing Spector classes J. Symbolic Logic, 40, № 1, 19-24 75.12.58 article Вернуться к поиску

Harrington L. A. [1975] Π 2 1 sets and Π 2 1 singletons Proc. Amer. Math. Soc., 52, 356-360 76.06.32 article Вернуться к поиску

Harrington L. A. [1974] Recursively presentable prime models J. Symbolic Logic, 39, № 2, 305-309 75.08.145 SG article Вернуться к поиску

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

Harrington L. A., Haught C.A. ? Limitations on initial segment embeddings in the r. e. tt -degrees ? ? O article Вернуться к поиску

Harrington L. A., Soare R.I. [1998] Definable codable sets and orbits of computably enumerable sets ? ? article Вернуться к поиску

Cholak P., Harrington L. A. ? Jump classes and computable enumerable sets ? ? O article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. ? Automorphisms of the lattice of computable enumerable sets In prepar. ? O article Вернуться к поиску

Harrington L. A., Mac Queen D. [1976] Selection in abstract recursion theory J. Symbolic Logic, 41, № 1, 153-158 77.01.42 article Вернуться к поиску

Harrington L. A., Shore R.A. [1981] Definable degrees and automorphisms of D Bull. Amer. Math. Soc., 4, № 1, 97-100 81.11.55 OS article Вернуться к поиску

Cholak P., Harrington L. A. [2000] Definable encodings in the computably enumerable sets Bull. Symbolic Logic, 6, № 2, 185-196 05.08.93 S article Вернуться к поиску

Cholak P., Harrington L. A. [2003] Isomorphisms of splits of computably enumerable sets J. Symbolic Logic, 68, № 3, 1044-1064 06.02.29 article Вернуться к поиску

Downey R. G., Harrington L. A. [1996] There is no fat orbit Ann. Pure Appl. Logic, 80, № 3, 277-289 01.01.14 S article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. [2008] On the orbits of computable enumerable sets J. Amer. Math. Soc., 21, 1105-1135 ? article Вернуться к поиску

Harrington L. A., Soare R.I. [1998] Definable properties of the computable enumerable sets Ann. Pure Appl. Logic, 94, № 1-3, 97-125 ? OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1991] Post’s program and incomplete recursively enumerable sets Proc. Nat. Acad. Sci., USA, 88, № 22 , 10242-10246 ? O article Вернуться к поиску

Cholak P., Harrington L. A. [2002] On the definability of the double jump in the computably enumerable sets J. Math. Logic, 2, № 2, 261-296 ? S article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. [2008] The complexity of orbits of computable enumerable sets Bull. Symbolic Logic, 14, № 2, 69-87 ? article Вернуться к поиску

Harrington L. A., Shelach S. [1982] The undecidability of the recursively enumerable degrees Bull. Amer. Math. Soc., 6, № 1, 79-80 82.07.43 OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] Dynamic properties of computable enumerable sets London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 105-121 ? O article Вернуться к поиску

Harrington L. A., Soare R.I. [1998] Codable sets and orbits of computably enumerable sets J. Symbolic Logic, 63, № 1, 1-28 01.11.75 OS article Вернуться к поиску

Cholak P., Harrington L. A. [2008] Extension theorems, orbits, and automorphisms of the computable enumerable sets Trans. Amer. Math. Soc., 360, № 4, 1759-1791 ? article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] The Δ 2 0 -automorphism method and noninvariant classes of degrees J. Amer., Math. Soc., 9, № 3, 617-666 01.10.128 OS article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] Definability, automorphisms and dynamic properties of computable enumerable sets Bull. Amer. Math. Soc., 2, № 2, 199-213 97.ВН5.31 O article Вернуться к поиску

Harrington L. A., Nies A. [1998] Coding in the partial order lattice of enumerable sets Adv. in Math., 133, № 1-3, 133-162 01.11.74 OS article Вернуться к поиску

Harrington L. A. [1974] The superjump and the first recursively Mahlo ordinal General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 43-52 North Holland 75.06.117 article Вернуться к поиску

Cooper S.B., Harrington L. A., Lachlan A.H., Lempp S., Soare R.I. [1991] The d.r.e. degrees are not dense Ann. Pure Appl. Logic, 55, № 2, 125-151 92.06.52 O article Вернуться к поиску

Harrington L. A., Kechris A. S. [1975] A basis result for Σ 3 0 sets of reals with an application to minimal covers Proc. Amer. Math. Soc., 53, № 2 , 445-448 76.09.85 O article Вернуться к поиску

Harrington L. A., Paris J.B. [1977] A mathematical incompleteness in PA Handbook of Mathematic Logic, p. D, North-Holland, 1133-1142 (Русский перевод в Справочной книге по математической логике , ч. IV ,(Оревков ...

Harrington L. A., Soare R.I. [1992] Games in recursion theory and continuity properties of capping degrees Proc. Workshop on set theory and the continuum, 39-62, Math. Sci. Research Inst., Berkeley ? article Вернуться к поиску

H Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L....