The strength of the rainbow Ramsey Theorem
From MaRDI portal
Publication:3655258
DOI10.2178/jsl/1254748693zbMath1188.03044MaRDI QIDQ3655258
Joseph R. Mileti, Barbara F. Csima
Publication date: 7 January 2010
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1254748693
rainbow; stable; RCA; random real; anti-Ramsey; COH; hyperimmune; Ramsey's Theorem; SADS; RT; 2-random
03B30: Foundations of classical theories (including reverse mathematics)
05D10: Ramsey theory
03D80: Applications of computability and recursion theory
03F35: Second- and higher-order arithmetic and fragments
03D32: Algorithmic randomness and dimension
Related Items
Some remarks on uncountable rainbow Ramsey theory, RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION, RANDOMNESS NOTIONS AND REVERSE MATHEMATICS, The weakness of the pigeonhole principle under hyperarithmetical reductions, OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS, Cohesive sets and rainbows, Degrees bounding principles and universal instances in reverse mathematics, Algorithmic randomness, reverse mathematics, and the dominated convergence theorem, Combinatorial principles between \(\text{RRT}_2^2\) and \(\text{RT}_2^2\), Pigeons do not jump high, Some logically weak Ramseyan theorems, Rainbow Ramsey simple structures, On uniform relationships between combinatorial problems, NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS, Controlling iterated jumps of solutions to combinatorial problems, Partial Orders and Immunity in Reverse Mathematics, Iterative Forcing and Hyperimmunity in Reverse Mathematics
Cites Work
- Unnamed Item
- Unnamed Item
- Polychromatic cliques
- On the strength of Ramsey's theorem
- On the strength of Ramsey's theorem for pairs
- Algorithmic Randomness and Complexity
- Ars combinatoria
- Calibrating Randomness
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- The canonical Ramsey theorem and computability theory
- Class groups of integral group rings