Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom
暂无分享,去创建一个
[1] Carl G. Jockusch,et al. Ramsey's theorem and recursion theory , 1972, Journal of Symbolic Logic.
[2] Denis R. Hirschfeldt,et al. Combinatorial principles weaker than Ramsey's Theorem for pairs , 2007, J. Symb. Log..
[3] E. Specker. Ramsey's Theorem does not Hold in Recursive Set Theory , 1971 .
[4] Barbara F. Csima,et al. The strength of the rainbow Ramsey Theorem , 2009, J. Symb. Log..
[5] R. Soare. Recursively enumerable sets and degrees , 1987 .
[6] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .
[7] Theodore A. Slaman,et al. On the Strength of Ramsey's Theorem , 1995, Notre Dame J. Formal Log..
[8] Carl G. Jockusch,et al. Ramsey's theorem and cone avoidance , 2009, J. Symb. Log..
[9] Carl G. Jockusch,et al. On the strength of Ramsey's theorem for pairs , 2001, Journal of Symbolic Logic.
[10] Joseph R. Mileti. Partition Theorems and Computability Theory , 2005, Bull. Symb. Log..
[11] A. Kucera. Measure, Π10-classes and complete extensions of PA , 1985 .
[12] Stephen G. Simpson,et al. Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.