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
Lempp S., Slaman T. [2007] The complexity of the index sets of ℵ 0 -categorical theories and of Ehrenfeucht theories Advances in logic (North Texas logic conf.), Providence RI: Amer. Math. Soc., 43-47 09.06.97 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R . [2002] Reverse mathematics of the Nielsen-Schreier theorem Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu.Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 59-71 05.05.172 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hirschfeldt D. R., Kjos-Hanssen B., Jockusch C.G. Jr., Lempp S., Slaman T.A. [2008] The strength of some combinatorial principles related to Ramsey’s theorem for pairs Proc. IMS Workshop “Computational Prospects of Infinity”, (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore,...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A. [2000] On a conjecture of Lempp Arch. Math. Logik Grundl., 39, № 4, 281-309 05.09.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.L La Roche P. Lachlan A. H. Lacombe D. Ladner R.E. LaForte G. Lakins T. Lambert W. M. Landweber L.H. Langford G. Läuchli H. Lavrov I.A. Lebeuf R. Leeds S. Leggett A. Leivant D. Lempp S. LeonardJ Leonhardi S.D. Lerman M. LewisA LewisFD LewisHR LewisPM LiAngs LiXiang Lipton R.J. Liu S.C. Loh Chang-wan LongTJ Longo G. Longpre L. Louveau A. Lowenthal F. Lu Hong Lubarsky R.S. Luckham D. Lynch N.A. Lyndon R.C. Вернуться на главную ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.