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
Kechris A.S. [1975] Coutable ordinals and the analytical hierarchy, I Pacif. J. Math., 60, № 1, 223-227 76.06.41 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S. [1991] Amenable equivalence relations and Turing degrees J. Symbolic Logic, 56, № 1, 182-194 92.10.24 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harrington L., Kechris A.S. [1975] On characterizing Spector classes J. Symbolic Logic, 40, № 1, 19-24 75.12.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Dougherty R., Kechris A.S. [2000] How many Turing degrees are there? Contemporary Math., 257, 83-94 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hjorth G., Kechris A.S. [2001] Recent developments in the theory of Borel reducibility Fund. Math., 170, 21-52 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S. [1978] Minimal upper bounds for sequences of Δ 2 n 1 -degrees J. Symbolic Logic, 43, № 3, 502-507 79.06.32 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Buss S., Kechris A. S., Pillay A., Shore R. A. [2001] Prospects for mathematical logic in the twenty-first century Bull. Symbolic Logic, 7, № 2, 169-196 03.10.77 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harrington L. A., Kechris A. S. [1975] A basis result for Σ 3 0 sets of reals with an application to minimal covers Proc. Amer. Math. Soc., 53, № 2 , 445-448 76.09.85 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S. [1985] Determinancy and the structure of L ( R ) Proc. Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math., 42, 271-284, Springer - Verlag 86.02.34 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S., Moschovakis Y.N. [1977] Recursion in higter types Handbook of Mathematic Logic, p. C, 681-737, North-Holland (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.K Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.