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
Groszek M.J. [1994] ω 1 * as an initial segment of the c -degrees J. Symbolic Logic, 59, № 3, 956-976 95.05.45 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M. J. [1987] Combinatorics on ideals and forcing with trees J. Symbolic Logic, 52, № 3, 582-593 77.05.35 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M. J., Hummel T. [1998] Σ 2 0 -constructions and I Σ 1 Ann. Pure Appl. Logic, 93, № 1-3, 83-101 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M.J., Shore R.A. [1988] Initial segments of the degrees of constructability Israel J. Math., 63, 149-177 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M.J., Slaman T.A. [1997] Π 1 0 classes and minimal degrees Ann. Pure Appl. Logic, 87, № 2, 117-144 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M.S., Slaman T.A. ? Foundations of the Priority Method, I: finite injury In prepar. O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Groszek M., Slaman T.A. A. [2001] An almost deep degrees J. Symbolic Logic, 66, № 2, 881-901 05.09.74 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M. J. [2000] Independece results from ZFC in computability theory: some open problems Contemporary Math., 257, 171-179 01.ВН12.59 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.Groszek M.J., Slaman T.A. [1983] Independence results on the global structure of the Turing degrees Trans. Amer. Math. Soc., 277 , № 2, 579-588 83.12.49 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Gasarch W.I. Georgieva N. Gerla G. Gill J. Giorgi M.B. Giusto M. Gladstone M.D. Glasser C. Gödel K. Goetze B. GoldEM Goldfarb W.D. Goncharov S.S. Gonshor H. Gordon C. E. Grant P.W. Grassin J. Greenberg N. Griffiths E.J. J. Griffor E.R. Grilliot T. Groszek M. J. Grzegorczyk A. Guichard D. Gurevich Ju. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.