Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Kjos-Hanssen B. [2003] Local initial segments of the Turing degrees Bull. Symbolic Logic, 9, № 1, 26-36 06.01.71 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kjos-Hanssen B. Stephan F. [2003] Lowness for the classes of Schnorr random sets SIAM J. Comput., 35, № 3, 647-657 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A.Kjos-Hanssen B. [2010] Lattice initial segments of the hyperdegrees J. Symbolic Logic, 75, № 1, 103-130 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Kjos-Hanssen B., Lempp S., Slaman T.A. [2004] Comparing DNR and WWKL J. Symbolic Logic, 69, № 4, 1089-1104 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kjos-Hanssen B., Lerman M., Solomon R., Stephen B. [2006] On a conjecture of Dobrinen and Simpson concerning almost every domination J. Symbolic Logic, 71, № 1, 119-136. ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hirschfeldt D. R., Kjos-Hanssen B., Jockusch C.G. Jr., Lempp S., Slaman T.A. [2008] The strength of some combinatorial principles related to Ramsey’s theorem for pairs Proc. IMS Workshop “Computational Prospects of Infinity”, (Singapore, 2005), Lect. Notes Series, 15, Institute ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.K 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. Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.