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
Hummel T., Jockusch C.G. Jr. [1999] Generalized cohesiveness J. Symbolic Logic, 64, № 2, 489-516 01.11.77 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.Hummel T., Jockusch C. G. Jr. [2001] Ramsey’s theorem for computably enumerable colorings J. Symbolic Logic, 66, № 2 , 873-880. 09.10.117 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hummel T. (Lakins) [1994] Effective versions of Ramsey's theorem: avoiding the cone above 0 ' J. Symbolic Logic, 59, № 4, 1301-1325 95.07.48 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Lakins T. [2002] Generalized r -cohesiveness and the arithmetical hierarchy: A correction to “Generalized cohesiveness” by Hummel T., Jockusch C.G. Jr. J. Symbolic Logic, 67, № 3, 1078-1082. 05.08.100 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek K. Hu Shin hua Hughes C.E. Hugill D. Hummel T. Huwig H. Hyland J.M.E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.