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
Ding Decheng, Qian Lei ? An r.e. degree not isolating any d -r.e. degree ? ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ding Decheng, Qian Lei [1994] Isolated d.r.e. degrees are dense in r. e. degree structure Repts Math. Logic, № 7, 1-11 95.08.74 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ding Decheng, Lu Hong, Qian Lei [2000] A splitting with infinum in the d -r.e. degrees Math. Logic Quarterly, 46, № 1, 53-76 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ding Decheng, Qian Lei [1996] Isolated d .r.e. degrees are dense in r. e. degree structure Arch. Math. Logik Grundl., 36, № 1, 1-10 01.10.125 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Qian Lei, Yang Yue [2000] The Friedberg jump inversion theorem revisited: a study of undefinable cuts Logic Coll’98, ASL La Jolla, Cal., 140-153 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Qian Lei. Slaman T.A., Yang Yue [2001] Σ 2 -induction and infinite injury priority arguments, III, Prompt sets, minimal pairs and Shoenfield’s conjecture Israel J. Math., 1 21, № 1, 1-28 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Q Qian Lei Qinglong Znang Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.