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
Mytilinaios M.E., [1989] Finite injury and Σ 1 -induction J. Symbolic Logic, 54, № 1, 38-49 89.11.59 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mytilinaios M.E., Slaman T.A. [2003] Differences between resource bounded degree structures Notre Dame J. Formal Logic, 44, №.1, 1-12 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mytilinaios M.E., Slaman T.A. [1988] Σ 2 -collection and the infinite injury priority methods J. Symbolic Logic, 53, № 1, 212-221 88.09.81 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M.J., Mytilinaios M.E. [1990] Σ 2 -induction and the construction of a high degree Lect. Notes in Math., 1432, 205-221, Springer-Verlag ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M.J., Mytilinaios M.E., Slaman T.A. [1996] The Sacks density theorem and Σ 2 -bounding J. Symbolic Logic, 61, № 2, 450-467 01.10.123 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mytilinaios M.E., Slaman T.A. [1996] On a question of Brown and Simpson London Math. Soc. Lect. Notes, Cambridge Univ. Press, Cambridge, 224, 205-218 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.