Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Yates C.E.M. [1966] A minimal pair of recursively enumerable degrees J. Symbolic Logic, 31, № 2, 159-168 68.05.57 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1974] Prioric games and minimal degrees below 0 / Fund. Math., 82, № 3, 217-237 75.B9.1164 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1962] Recursively enumerable sets and retracing functions Z. math. Logik und Grundl. Math., 8, № 4, 331-345 ? ROS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1971] A note on arithmetical sets of indiscernibles Logic Coll’69, North Holland, 443-451 71.11.95 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1967] Arithmetical sets and retracing functions Z. math. Logik und Grundl. Math., 13, № 3, 193-204 68.05.66 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1966] On the degrees of index sets, I Trans. Amer. Math. Soc., 121, № 2, 309-328 67.06.58 EOS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1969] On the degrees of index sets, II Trans. Amer. Math. Soc., 135 , № 1, 249-266 70.01.67 EOS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1976] Banach-Mazur games, comeager sets and degrees of unsolvability Math. Proc. Cambridge Phil. Soc., 9, № 2, 195-220 76.11.70 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1970] Initial segments of the degrees of unsolvability, part II: Minimal degrees J. Symbolic Logic, 35, № 2, 243-266 71.06.60 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1974] A general framework for simple Δ 2 0 and Π 1 0 priority arguments Proc. Inter. Congress of Mathematicians, (Vancouver,1974), v.I, 269-273 76.09.84 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1972] Initial segments and implications for the structure of degrees Lect. Notes in Math., 255, 305-335, Springer-Verlag 72.08.88 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1965] Three theorems on the degrees of r.e. sets Duke Math. J., 32, № 3 461-468 (Русский перевод в книге Дж. Шенфилда Степени неразрешимости , М., Наука, 1977, 97-108.) 66.05.61 ROS article ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1970] Initial segments of the degrees of unsolvability, part I: A survey Math. Logic and Found. of Set Theory, Proc. Inter. Coll. (Jerusalem, 1968), North-Holland, 63-83 72.04.81 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1967] Recursively enumerable degrees and the degrees less than 0 / Sets, Models and Recursion Theory, Coll. and Summer School Math. Logic (Leichester, England, 1965), North-Holland, 264-271 69.02.74 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wu G. [2006] Jump operator and Yates degrees J. Symbolic Logic, 71, № 1, 252-264 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Y YaknisA YaknisV Yang Dong Ping Yang Yue Yasuhara A. Yates C.E.M. Yi Xiaoding Young P.R. YuLiang Yue Jang Yuefei Sui Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.