Ramsey's theorem and cone avoidance
暂无分享,去创建一个
[1] Robert I. Soare,et al. Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion , 1989, J. Symb. Log..
[2] Tamara Lakins Hummel. Effective Versions of Ramsey's Theorem: Avoiding the Cone above 0' , 1994, J. Symb. Log..
[3] Antonín Kucera,et al. An Alternative, Priority-Free, Solution to Post's Problem , 1996, MFCS.
[4] R. Soare. Recursively enumerable sets and degrees , 1987 .
[5] Frank Stephan,et al. A Cohesive Set which is not High , 1993, Math. Log. Q..
[6] Carl G. Jockusch,et al. On the strength of Ramsey's theorem for pairs , 2001, Journal of Symbolic Logic.
[7] Richard A. Shore. RECURSIVELY ENUMERABLE SETS AND DEGREES A Study of Computably Generated Sets (Perspectives in Mathematical Logic) , 1988 .
[8] Stephen G. Simpson,et al. Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.
[9] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .
[10] Theodore A. Slaman,et al. On the Strength of Ramsey's Theorem , 1995, Notre Dame J. Formal Log..
[11] Stephen G. Simpson,et al. Degrees of Unsolvability: A Survey of Results , 1977 .
[12] Carl G. Jockusch,et al. Ramsey's theorem and recursion theory , 1972, Journal of Symbolic Logic.