Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Cholak P., Greenberg N., Miller J.S. [2006] Uniform almost everywhere domination J. Symbolic Logic, 71, № 3, 1057-1072 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N. ? Totally ω - computable enumerable degrees, II ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N. ? A hierarchy of new definable degree classes ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N. ? Some new natural definable degrees classes ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Greenberg N., Montalban A., Shore R.A. [2004] Generalized high degrees have the complementation property J. Symbolic Logic, 69, № 4, 1200-1220 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Greenberg N. [2005] The role of true finiteness in the admissible recursively enumerable degrees Bull. Symbolic Logic, 11, № 3, 398-410 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N., Weber R. [2007] Totally ω computable enumerable degrees and bounding critical triples J. Math. Logic, 7, № 2, 145-171 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G. , Greenberg N. [2008] Strong jump- traceability, I. The computable enumerable case Adv. in Math., 217, № 5, 2045-2074 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Greenberg N.,Montalban A. [2008] Ranked structures and arithmetic transfinite recursive Trans. Amer. Math. Soc., 360, № 3, 1265-1307 08.12.136 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Greenberg N., Mihailovich N. J., Nies A. [2005] Lowness for computable machines Proc. Comp. Prospects of Infinity, World Scientific, Singapore, ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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 Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.