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
Li A. [2000] On a conjecture of Lempp Arch. Math. Logik Grundl., 39, № 4, 281-309 05.09.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A. [2000] Bounding capable degrees Arch. Math. Logik Grundl., 39, № 5, 311-352 05.09.76 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A. [2005] Low splitting theorem in the difference hierarchy Lect.Notes in Comp.Sci., 3526, 287-296 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Li A., Yang Yue ? The difference hierarchy in models of Δ 1 induction ?; ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B., Li A. [2008] On Lachlan’s major subdegree problem Arch. Math. Logik Grundl., 47, № 5, 455-482 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A., Wu G., Zhang Z. [2000] A hierarchy for cuppable degrees Ill. J. Math., 44, № 3, 619-632 05.09.77 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B., Li A. [2002] Non-uniformity and generalized Sacks splitting Acta Math. Sinica, 18, № 2, 327-334 05.08.97 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A., Wang J. [2003] A hierarchy for the plus cupping Turing degrees J. Symbolic Logic, 68, № 3, 972-988 06.02.27 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A., Yi Xiaoding [1999] Cupping the r.e. degrees by d.r.e. degrees Proc. London Math. Soc., 78, № 1, 1-21 99.ВН12.108 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A. [2003] Definable relations on the computably enumerable degrees Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 267-288 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A., Yang Dong Ping [1998] Bounding minimal degrees by computably enumerable degrees J. Symbolic Logic, 63, № 4, 1319-1347 02.09.54 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Arslanov M. M., Cooper S.B., Li A. [2000], [2004] There is no low maximal d -c.e. degree Math. Logic Quarterly, 46, № 3, 409-416, corr. 50, № 6, 628-636 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Li A., Yang Yue [2006] The existence of high nonbounding degrees in the difference hierarchy Ann. Pure Appl. Logic, 138, № 1-3, 31-51 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... 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.J. Liu S.C. Loh Chang-wan LongTJ Longo G. Longpre L. Louveau A. Lowenthal F. Lu Hong Lubarsky R.S. Luckham D. Lynch N.A. Lyndon R.C. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.