Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Chong C.T. [1984] Minimal α-hyperdegrees Arch. Math. Logik Grundl., 24, № 1-2, 63-71 84.12.45 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1989] Maximal sets and fragments of Peano Arithmetic Nagoya J. Math., 115, 165-183 90.06.79 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1989] Hyperhypersimple and Δ 2 -systems Ann. Pure Appl. Logic, 44, № 1, 25-38 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1982] Double jumps of minimal degrees over cardinals J. Symbolic Logic, 47, № 2, 329-334 82.12.38 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1974] Almost local non-α-recursiveness J. Symbolic Logic, 39, № 3, 552-562 75.09.60 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1979] Major subsets of α-recursively enumerable sets Israel J. Math., 34, № 1-2, 106-114 80.07.33 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1983] Hyperhypersimple supersets in admissible theory J. Symbolic Logic, 48, № 1, 185-192 83.11.54 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Friedman Sy D. [1999] Ordinal recursive theory Handbook of Computability Theory, Elsevier, 277-300 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yu Liang [2007] Maximal chaings in the Turing degrees J. Symbolic Logic, 72, № 4, 1219-1227 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Li A., Yang Yue ? The difference hierarchy in models of Δ 1 induction ?; ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Lerman M. [1976] Hyperhypersimple α-r.e. sets Ann. Math. Logic. 9, №1-2, 1-48 76.07.95 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1976] An α-finite injury method of the unbounded type J. Symbolic Logic, 41, № 1, 1-17 76.12.82 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1987] Σ 1 -density and Turing degrees Z. math. Logik und Grundl. Math., 33, № 2, 141-145 88.04.37 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1979] Generic sets and minimal α-degrees Trans. Amer. Math. Soc., 254, № 5, 157- 169 80.07.18 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1984] Techniques of admissible Recursion Theory Lect. Notes in Math., 1106, Springer -Verlag 85.08.18 SO book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Mourad K. J. [1992] Σ n -definability without Σ n -induction Trans. Amer. Math. Soc., 334, № 1, 349-363 93.11.86 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Mourad K. J. [1990] The degree of a Σ n cut Ann. Pure Appl. Logic, 48, № 3, 227-235 91.04.103 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yu Liang ? Maximal antichaing in the Turing degrees Lect. Notes in Comp. Sci., 4497, 162-168, Springer ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Downey R. G. [1989] Degrees bounding minimal degrees Math. Proc. Cambridge Phil. Soc., 105, 211-222 89.08.65 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1976] Minimal upper bounds for ascending sequences of -recursively enumerable degrees J. Symbolic Logic, 41, № 1, 250-260 76.12.78 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1985] Recursive theory on strongly Σ 2 -inadmissible ordinals Lect. Notes in Math., 1141, 49-64, Springer-Verlag 86.05.63 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yang Yue [2007] The jump of a Σ n cut J. London Math. Soc., 75, № 3 , 690-709 09.03.138 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Nies A., Yu Liang [2008] Higher randomness notions and their lowness properties Israel J. Math., 166, № 1,39-60 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1983] Global and local admissibility: II. Major subsets and automorphisms Ann. Pure Appl. Logic, 24, № 2, 99-111 84.02.37 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [1989] Recursively enumerable sets in models of Σ 2 collection Lect. Notes in Math., 1388, 1-15, Springer-Verlag 90.12.60 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Downey R. G. [1990] Minimal degrees recursive in 1-generic degrees Ann. Pure Appl. Logic, 48, № 3, 215-225 91.04.69 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yang Yue [2000] Computability theory in arithmetic: provability, structure and techniques Contemporary Math., 257, 73-81 09.09.117 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Jockusch C.G. Jr. [1984] Minimal degrees and 1-generic sets below 0 / Lect. Notes in Math., 1104, 63-67, Springer -Verlag 85.08.54 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Li A., Yang Yue [2006] The existence of high nonbounding degrees in the difference hierarchy Ann. Pure Appl. Logic, 138, № 1-3, 31-51 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yang Yue [1998] Σ 2 induction and infinite injury priority argument, I: Maximal sets and the jump operator J. Symbolic Logic, 63, № 3, 797-814 02.01.109 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Arslanov M. M., Chong C.T., Cooper S.B., Yang Yue [2005] The minimal e -degree problem in fragments of Peano arithmetic Ann. Pure Appl. Logic, 131, № 1-3, 159-175 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yang Yue [1997] Σ 2 induction and infinite injury priority argument, II: Tame Σ 2 coding and the junp operator Ann. Pure Appl. Logic, 87, № 2 , 103-116 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Qian Lei, Yang Yue [2000] The Friedberg jump inversion theorem revisited: a study of undefinable cuts Logic Coll’98, ASL La Jolla, Cal., 140-153 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T. [2008] Nonstandard methods in Ramsey’s theorem for pairs Proc. IMS Workshop “Computational Prospects of Infinity”, (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 47-58 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Yang Yue [1998] Recursion theory in weak fragments of arithmetic: A study of cuts Proc 6 Asian Logic Conf., (Beijing, China, 1998), 47-65, World Scientific, Singapore Univ. Press ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Chong C.T., Qian Lei. Slaman T.A., Yang Yue [2001] Σ 2 -induction and infinite injury priority arguments, III, Prompt sets, minimal pairs and Shoenfield’s conjecture Israel J. Math., 1 21, № 1, 1-28 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.