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

Knight J. F. [1973] Generic expansions of structures J. Symbolic Logic, 38, № 4, 561-570 75.01.184 article Вернуться к поиску

Knight J. F. [2001] Minimality and completions of PA J. Symbolic Logic, 66, № 3, 1447-1457 06.08.67 article Вернуться к поиску

Knight J. F. [1990] A metatheorem for constructing by finitely many workers J. Symbolic Logic, 55, № 2, 787-804 91.08.85 O article Вернуться к поиску

Knight J. F. [2000] Problems related to arithmetic Contemporary Math., 257, 181-189 01.ВН12.60 article Вернуться к поиску

Knight J. F. [1990] Constructions by transfinitely many workers Ann. Pure Appl. Logic, 48, № 3, 237-259 91.04.74 article Вернуться к поиску

Knight J. F. [1998] Degrees of models Handbook of Recursive Mathematics, v.1, 289-309, Elsevier ? article Вернуться к поиску

Knight J. F. [1986] Degrees coded in jumps of orderings J. Symbolic Logic, 51, № 4, 1034-1042 87.07.62 article Вернуться к поиску

Knight J. F., Stob M. [2000] Computable Boolean algebras J. Symbolic Logic, 65, № 4, 1605-1623 01.09.307 article Вернуться к поиску

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

Ash C.J. , Knight J.F. [1994] Ramiied systems Ann. Pure Appl. Logic, 70, № 3, 205-221 95.09.41 article Вернуться к поиску

Ash C.J. , Knight J.F. [1994] Mixed systems J. Symbolic Logic, 59, № 4, 1383-1399 95.08.73 article Вернуться к поиску

Ash C.J., Knight J.F. [1997] Possible degrees in recursive copies, II Ann. Pure Appl. Logic, 87, № 2, 151-165 ? article Вернуться к поиску

Ash C. J., Knight J.F. [1996] Recursive structure and Ershov’s hierarchy Fund. Math., 142, № 2, 147-161 ? R article Вернуться к поиску

Ash C.J., Knight J.F. [1994] Recursive expantions Fund. Math., 145, № 2, 153-169 ? G article Вернуться к поиску

Ash C.J., Knight J.F. [1992] Relatively recursive expantions Fund. Math., 140, № 2, 137-155 ?; G article Вернуться к поиску

Ash C.J., Knight J.F. [1990] Pairs of recursive structures Ann. Pure Appl. Logic, 46, № 3, 211-234 ? G article Вернуться к поиску

Chisholm J., Knight J.F., Miller S. [2007] Computable embeddings and strongs minimal theories J. Symbolic Logic, 72, № 3, 1031-1040 ? article Вернуться к поиску

Harizanov V. S., Knight J. F., Morozov A. S. [2002] Sequences on n -diagrams J. Symbolic Logic, 67, № 3, 1227-1247 06.10.49 article Вернуться к поиску

Ash C.J., Knight J. [2000] Computable structures and the hyperarithmetical hierarchy Studies Logic and Found. Math., 144, Elsevier ? book Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

Ash C.J., Knight J.F. [1995] Possible degrees in recursive copies Ann. Pure Appl. Logic, 75, № 3, 215-221 96.04.63 G article Вернуться к поиску

Downey R. G., Knight J.F. [1992] Orderings with α-th jump degree 0 α Proc. Amer. Math. Soc., 114, № 2, 545-552 93.08.48 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 Вернуться к поиску

Ash C.J., Cholak P., Knight J.F. [1997] Permitting forsing, and copying of a given recursive relation Ann. Pure Appl. Logic, 86, № 3, 219-236 ? article Вернуться к поиску

Ash C.J., Jockusch C. G. Jr., Knight J.F. [1990] Jumps of orderings Trans. Amer. Math. Soc., 319, № 2, 573-599 91.04.71 G article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., Shore R.A. [2004] Π 1 1 relations and paths through 0 J. Symbolic Logic, 69, № 2, 585-611 05.09.95 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 Вернуться к поиску

Knight J.F. [2002] Categoricity Proc. Inter. Conf. “Logic and Its Apll.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 72-80 05.11.123 article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., Millar R.C., Solomon R. [2005] Enumerations in computable structure theory Ann. Pure Appl. Logic, 136, № 3, 219-246 ? article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., [2003] Simple and immune relations on coutable structures Arch. Math. Logik Grundl., 42, № 3, 279-291 85.05.109 article Вернуться к поиску

Calvert W. ,Fokina E.B.,Goncharov S. S., Knight J.,Kudinov O.V.,Morozov A.S.,Puzarenko V.G. [2007] Index sets for classes of high rank structures J. Symbolic Logic, 72, № 4, 1418-1432 ? article Вернуться к поиску

... Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R. Kummer M. Kurtz S.A. Вернуться на главную страницу