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
Cholak P., Greenberg N., Miller J.S. [2006] Uniform almost everywhere domination J. Symbolic Logic, 71, № 3, 1057-1072 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N. ? Totally ω - computable enumerable degrees, II ? ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N. ? A hierarchy of new definable degree classes ? ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N. ? Some new natural definable degrees classes ? ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Greenberg N., Montalban A., Shore R.A. [2004] Generalized high degrees have the complementation property J. Symbolic Logic, 69, № 4, 1200-1220 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Greenberg N., Shore R.A., Slaman T.A. [2006] The elementary theory of the metarecursively enumerable degrees J. Math. Logic, 6, № 1, 380-397 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Greenberg N. [2005] The role of true finiteness in the admissible recursively enumerable degrees Bull. Symbolic Logic, 11, № 3, 398-410 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N., Weber R. [2007] Totally ω computable enumerable degrees and bounding critical triples J. Math. Logic, 7, № 2, 145-171 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Downey R. G. , Greenberg N. [2008] Strong jump- traceability, I. The computable enumerable case Adv. in Math., 217, № 5, 2045-2074 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Greenberg N.,Montalban A. [2008] Ranked structures and arithmetic transfinite recursive Trans. Amer. Math. Soc., 360, № 3, 1265-1307 08.12.136 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Csima B., Downey R. G., Greenberg N., Hirschfeldt D. R., Miller J. S. [2006] Every 1-generic computes a propely 1-generic J. Symbolic Logic, 71, № 4, 1385-1393 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N., Mihailovich N. J., Nies A. [2005] Lowness for computable machines Proc. Comp. Prospects of Infinity, World Scientific, Singapore, ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N. [2006] Totally ω - computably enumerable degrees and m -topped degrees, I Lect. Notes in Comp. Sci., 3959, 46-60, Springer -Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Barmpalias G., Greenberg N. [2009] K -trivial degrees and the jump-traceability hierarchy Proc. Amer. Math. Soc., 137, № 6, 2099-2109 10.ВН2.87 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N., Miller J. S., Weber R. [2005] Prompt simplicity, array computability and cupping Proc. Comp. Prospects of Infinity, World Scientific, Singapore, ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Barmpalias G., Downey R.,Greenberg N. [2010] Working with strong reducibilities above totally ω-c.e. and array computable degrees Trans. Amer. Math. Soc.,362, № 2, 777-813 ВН10.12.37 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.G GaleA GaleD Gandy R.O. Ganesan K. Gao Su 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.