Search results

Lachlan A.H. [1964] Effective operations in a general setting J. Symbolic Logic, 29, № 4, 163-178 65.10.61 EO article Вернуться к поиску

Lachlan A.H. [1970] Initial segments of many-one degrees Canad. J. Math., 22, № 1, 75-85 71.02.54 EOS article Вернуться к поиску

Lachlan A.H. [1967] The priority method, I Z. math. Logik und Grundl. Math., 13, № 1, 1-10 67.11.72 OS article Вернуться к поиску

Lachlan A.H. [1966] A note on universal sets J. Symbolic Logic, 31, № 4, 573-574 67.08.43 REOS article Вернуться к поиску

Lachlan A.H. [1968] Complete recursively enumerable sets Proc. Amer. Math. Soc., 19, № 1, 99-102 68.09.63 OS article Вернуться к поиску

Lachlan A.H. [1965] On a problem of G.E.Sacks Proc. Amer. Math. Soc., 16, № 5, 972-979 66.09.59 OS article Вернуться к поиску

Lachlan A.H. [1969] Initial segments of one-one degrees Pacif. J. Math., 29, № 2, 351-366 70.01.62 OS article Вернуться к поиску

Lachlan A.H. [1979] Bounding minimal pairs J. Symbolic Logic, 44, № 4, 626-642 80.07.29 OS article Вернуться к поиску

Lachlan A.H. [1971] Solution to a problem of Spector Canad. J. Math., 23, № 2, 247-256 71.11.97 OS article Вернуться к поиску

Lachlan A.H. [1975] Uniform enumeration operations, J. Symbolic Logic, 40, № 3, 401-409 76.11.72 OS article Вернуться к поиску

Lachlan A.H. [1962] Multiple recursion Z. math. Logik und Grundl. Math., 8, № 2, 81-107 63.07.63 O article Вернуться к поиску

Lachlan A.H., Yi Xiaoding [1993] Jump theorems for REA operators Math. Logic Quarterly, 39, 1-6 ? article Вернуться к поиску

Ahmad S., Lachlan A. H. [1998] Some special pairs of e -degrees Math. Logic Quarterly, 44, № 4, 431-449 ? O article Вернуться к поиску

Lachlan A.H. [1976] Countable initial segments of the degrees of unsolvability J. Symbolic Logic, 41, № 2, 289-300 77.03.58 article Вернуться к поиску

Lachlan A.H. [1972] Recursively enumerable many-one degrees Algebra and Logic, 11, № 3, 326-358; corr. 362 73.04.95 SEO article Вернуться к поиску

Lachlan A.H. [1980] Decomposition of recursively enumerable degrees Proc. Amer. Math. Soc., 79, № 4, 629-634 81.01.38 OS article Вернуться к поиску

Lachlan A.H. [1987] A note on positive equivalence relation Z. math. Logik und Grundl. Math., 33, № 1, 43-46 87.12.33 article Вернуться к поиску

Lachlan A.H. [1968] The elementary theory of recursively enumerable sets Duke Math. J., 35, № 1, 123-146 68.12.57 OS article Вернуться к поиску

Ambos-Spies K., Lachlan A.H., Soare R.I. [1993] The continuity of cupping to 0 / Ann. Pure Appl. Logic, 64, № 3, 195-209 ? article Вернуться к поиску

Lachlan A.H. [1965] Effective inseparability for sequences of sets Proc. Amer. Math. Soc., 16, № 4, 647-653 66.05.62 EO article Вернуться к поиску

Lachlan A.H. [1966] On the indexing of classes of recursively enumerable sets J. Symbolic Logic, 31, № 1, 10-22 68.06.78 E article Вернуться к поиску

Lachlan A.H. [1964] Standard classes of recursively enumerable sets Z. math. Logik und Grundl. Math., 10, № 1, 23-42 65.02.125 EO article Вернуться к поиску

Lachlan A.H. [1965] Some notions of reducibility and productiveness Z. math. Logik und Grundl. Math., 11, № 1, 17-44 65.11.83 ROS article Вернуться к поиску

Lachlan A.H., Yi Xiaoding [1989] A remark on pseudo-jump operators Proc. Amer. Math. Soc., 106, № 2, 489-491 90.09.38 article Вернуться к поиску

Lachlan A.H., Shore R.A. [1992] The n -r.e.a. enumeration degrees are dense Arch. Math. Logik Grundl., 31, № 4, 277-285 93.04.50 O article Вернуться к поиску

Kanda A., Lachlan A. H. [1987] Alternative characterizations of precomplete numberations Z. math. Logik und Grundl. Math., 33, № 2, 97-100 88.04.39 article Вернуться к поиску

Lachlan A.H. , Soare R.J. [1994] Models of arithmetic and upper bounds for arithmetic sets J. Symbolic Logic, 59, № 3, 977-983 95.03.54 article Вернуться к поиску

Lachlan A.H. [1972] Two theorems on many-one degrees of recursively enumerable sets Algebra and Logic, 11, № 2, 216-229 72.11.37 EOS article Вернуться к поиску

Lachlan A.H. [1966] The impossibility of finding relative complements for recursively enumerable degrees J. Symbolic Logic, 31, № 3, 434-454 68.05.59 OS article Вернуться к поиску

Lachlan A.H. [1975] A recursively enumerable degrees which not split over all lesser ones Ann. Math. Logic, 9, № 4, 307-365 76.12.74 OS article Вернуться к поиску

Lachlan A.H. [1966] Lower bounds for pairs of recursively enumerable degrees Proc. London Math. Soc., 16, № 3, 537-569 67.06.59 OS article Вернуться к поиску

Lachlan A.H. [1968] Degrees of recursively enumerable sets which have no maximal supersets J. Symbolic Logic, 33, № 3, 431-443 69.04.50 OS article Вернуться к поиску

Lachlan A.H. [1975] wtt -complete sets are not necessarily tt -complete Proc. Amer. Math. Soc., 48, № 2, 429-434 76.02.85 OS article Вернуться к поиску

Lachlan A.H., Lebeuf R. [1976] Countable initial segments of the degrees of unsolvability J. Symbolic Logic, 41, № 2, 289-300 77.03.58 OS article Вернуться к поиску

Lachlan A.H., Soare R. I. [1998] Model arithmetic and subuniform bounds for the arithmetic sets J. Symbolic Logic, 63, № 1, 59-72 01.12.123 article Вернуться к поиску

Lachlan A.H. [1968] Distributive initial segments of the degrees of unsolvability Z. math. Logik und Grundl. Math., 14, № 5, 457-472 70.01.61 ROS article Вернуться к поиску

Lachlan A.H. [1974] A note on Π n +1 0 functions and relations Bull. Acad. Polon. sci., Ser. math., astron. et phys., 22, № 9, 863-866 75.05.78 article Вернуться к поиску

Lachlan A.H. [1972] Embedding nondistributive lattices in the recursively enumerable degrees Lect. Notes in Math., 255, 149 -177, Springer-Verlag 72.08.87 OS article Вернуться к поиску

Knight J. F., Lachlan A. H., Soare R.I. [1984] Two theorems on degree of models of true arithmetic J. Symbolic Logic, 49, № 2, 425-436 85.01.55 S article Вернуться к поиску

Lachlan A.H. [1973] The priority method for the construction of recursively enumerable sets Lect. Notes in Math., 337, 299-310, Springer-Verlag 74.01.94 OS article Вернуться к поиску

Lachlan A.H. [1970] On some games which are relevant to the theory of recursively enumerable sets Ann. Math., 91, № 2, 291-310 71.B8.559 OS article Вернуться к поиску

Lachlan A.H., Soare R. I. [1980] Not every finite lattice is embeddable in the recursively enumerable degrees Adv. in Math., 37, № 1, 74-82 81.03.269 OS 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 Вернуться к поиску

Lachlan A.H. [1965] On recursive enumerations without repetitions Z. math. Logik und Grundl. Math., 11 , № 3, 209-220; corr. 13, № 2, (1967), 99-100 66.04.34; 68.01.57 EO article Вернуться к поиску

Lachlan A.H. [1968] On the lattice of recursively enumerable sets Trans. Amer. Math. Soc., 130, № 1, 1-37 (Русский перевод в книге Дж. Шенфильда Степени неразрешимости , М., Наука, 1977, 109-162.) 68....

Cooper S.B., Li A. [2008] On Lachlan’s major subdegree problem Arch. Math. Logik Grundl., 47, № 5, 455-482 ? article Вернуться к поиску

Sacks G.E. [1967] On a theorem of Lachlan and Martin Proc. Amer. Math. Soc., 18, № 1, 140-141 67.10.57 OS article Вернуться к поиску

Lempp S., Yuefei Sui [1996] On extended Lachlan splitting theorem Ann. Pure Appl. Logic, 79, № 1, 53-59 99.12.50 article Вернуться к поиску

Cooper S.B., Li A., Yi Xiaoding [2002] On the distribution of Lachlan nonsplitting bases Arch. Math. Logik Grundl., 41, № 5, 455-482 05.09.78 article Вернуться к поиску

L La Roche P. Lachlan A. H. Lacombe D. Ladner R.E. LaForte G. Lakins T. Lambert W. M. Landweber L.H. Langford G. Läuchli H. Lavrov I.A. Lebeuf R. Leeds S. Leggett A. Leivant D. Lempp S. LeonardJ Leonhardi S.D. Lerman M. LewisA LewisFD LewisHR LewisPM LiAngs LiXiang Lipton R....