Search results

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

Cooper S.B., Sorbi A., Yang Yue ? A capping theorem for the Δ 2 0 enumeration degrees ? ? article Вернуться к поиску

Yang Yue , Yu Liang [2005] On the definable ideal generated by nonbounding c.e.degrees J. Symbolic Logic, 70, № 1, 252-270 ? 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 Вернуться к поиску

Cooper S.B., Lewis A., Yang Yue [2005] Properly Σ 2 minimal degrees and 0 // complementation Math. Logic Quarterly, 51, № 3, 274-276 ? article Вернуться к поиску

Cooper S.B., Li A., Sorbi A., Yang Yue [2003] There exists a maximal 3-c.e. enumeration degree Israel J. Math., 137, 285-320 ? article Вернуться к поиску

Giorgi M.B., Sorbi A., Yang Yue [2006] Properly Σ 2 0 enumeration degrees and the high/low hierarchy J. Symbolic Logic, 71, № 4, 1125-1144 ? article Вернуться к поиску

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

Yang Yue, Yu Liang [2006] On Σ 1 -structural differences among finite levels of the Ershov hierarchy J. Symbolic Logic, 71, № 4, 1223-1236 ? article Вернуться к поиску

Shore R.A., Yang Yue [2002] A nonlow 2 r. e. degree with the extension of embeddings properties of a low 2 degree Math. Logic Quarterly, 48, № 1, 131-146 ? article Вернуться к поиску

Cooper S.B., Li A. Sorbi A., Yang Yue [2005] Bounding and non bounding minimal pairs in the enumerable degrees J. Symbolic Logic, 70, № 3, 741-766 ? 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 Вернуться к поиску

Jockusch C.G. Jr., Li A., Yang Yue [2004] A join theorem for the computably enumerable degrees Trans. Amer. Math. Soc., 356, № 7, 2557-2568 07.06.67 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., 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 Вернуться к поиску

Y YaknisA YaknisV Yang Dong Ping Yang Yue Yasuhara A. Yates C.E.M. Yi Xiaoding Young P.R. YuLiang Yue Jang Yuefei Sui Вернуться на главную страницу