Библиография Лаврова И.А.

Chong C.T. [1984] Minimal α-hyperdegrees Arch. Math. Logik Grundl., 24, № 1-2, 63-71 84.12.45 article Вернуться к поиску

Chong C.T. [1989] Maximal sets and fragments of Peano Arithmetic Nagoya J. Math., 115, 165-183 90.06.79 O article Вернуться к поиску

Chong C.T. [1989] Hyperhypersimple and Δ 2 -systems Ann. Pure Appl. Logic, 44, № 1, 25-38 ? O article Вернуться к поиску

Chong C.T. [1982] Double jumps of minimal degrees over cardinals J. Symbolic Logic, 47, № 2, 329-334 82.12.38 article Вернуться к поиску

Chong C.T. [1974] Almost local non-α-recursiveness J. Symbolic Logic, 39, № 3, 552-562 75.09.60 article Вернуться к поиску

Chong C.T. [1979] Major subsets of α-recursively enumerable sets Israel J. Math., 34, № 1-2, 106-114 80.07.33 article Вернуться к поиску

Chong C.T. [1983] Hyperhypersimple supersets in admissible theory J. Symbolic Logic, 48, № 1, 185-192 83.11.54 article Вернуться к поиску

Chong C.T., Friedman Sy D. [1999] Ordinal recursive theory Handbook of Computability Theory, Elsevier, 277-300 ? O article Вернуться к поиску

Chong C.T., Yu Liang [2007] Maximal chaings in the Turing degrees J. Symbolic Logic, 72, № 4, 1219-1227 ? article Вернуться к поиску

Chong C.T., Li A., Yang Yue ? The difference hierarchy in models of Δ 1 induction ?; ? article Вернуться к поиску

Chong C.T., Lerman M. [1976] Hyperhypersimple α-r.e. sets Ann. Math. Logic. 9, №1-2, 1-48 76.07.95 O article Вернуться к поиску

Chong C.T. [1976] An α-finite injury method of the unbounded type J. Symbolic Logic, 41, № 1, 1-17 76.12.82 article Вернуться к поиску

Chong C.T. [1987] Σ 1 -density and Turing degrees Z. math. Logik und Grundl. Math., 33, № 2, 141-145 88.04.37 article Вернуться к поиску

Chong C.T. [1979] Generic sets and minimal α-degrees Trans. Amer. Math. Soc., 254, № 5, 157- 169 80.07.18 O article Вернуться к поиску

Chong C.T. [1984] Techniques of admissible Recursion Theory Lect. Notes in Math., 1106, Springer -Verlag 85.08.18 SO book Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

Chong C.T., Yu Liang ? Maximal antichaing in the Turing degrees Lect. Notes in Comp. Sci., 4497, 162-168, Springer ? article Вернуться к поиску

Chong C.T., Downey R. G. [1989] Degrees bounding minimal degrees Math. Proc. Cambridge Phil. Soc., 105, 211-222 89.08.65 O article Вернуться к поиску

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 Вернуться к поиску

Chong C.T. [1985] Recursive theory on strongly Σ 2 -inadmissible ordinals Lect. Notes in Math., 1141, 49-64, Springer-Verlag 86.05.63 article Вернуться к поиску

Chong C.T., Yang Yue [2007] The jump of a Σ n cut J. London Math. Soc., 75, № 3 , 690-709 09.03.138 article Вернуться к поиску

Chong C.T., Nies A., Yu Liang [2008] Higher randomness notions and their lowness properties Israel J. Math., 166, № 1,39-60 ? article Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

Chong C.T., Yang Yue [2000] Computability theory in arithmetic: provability, structure and techniques Contemporary Math., 257, 73-81 09.09.117 article Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 Вернуться к поиску

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 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. Вернуться на главную страницу