\( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models
From MaRDI portal
Publication:2048618
DOI10.1016/j.aim.2021.107903OpenAlexW3186877027MaRDI QIDQ2048618
Publication date: 23 August 2021
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.08427
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (3)
An inside/outside Ramsey theorem and recursion theory ⋮ Separating weak \(\alpha\)-change and \(\alpha\)-change genericity ⋮ Reduction games, provability and compactness
Cites Work
- Unnamed Item
- Unnamed Item
- Cohesive sets and rainbows
- The weakness of being cohesive, thin or free in reverse mathematics
- On the strength of Ramsey's theorem
- Pigeons do not jump high
- On the strength of Ramsey's theorem for pairs
- A Δ20 set with no infinite low subset in either it or its complement
- On uniform relationships between combinatorial problems
- RT22 does not imply WKL0
- Controlling iterated jumps of solutions to combinatorial problems
- STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
- On notions of computability-theoretic reduction between Π21 principles
- The metamathematics of Stable Ramsey’s Theorem for Pairs
- Partition Theorems and Computability Theory
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
- On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
- Partial realizations of Hilbert's program
- A cohesive set which is not high
- Some results concerning the SRT 2 2 vs. COH problem
- Cohesive avoidance and strong reductions
- Cone avoiding closed sets
- ∏ 0 1 Classes and Degrees of Theories
- Ramsey's theorem and recursion theory
This page was built for publication: \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models
