Ramsey's theorem for pairs (RT²₂) is ∀Π⁰₄ conservative over RCA₀ + BΣ⁰₂, improving on prior work by Patey and Yokoyama.
Cholak, Carl G
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
$\Pi^0_4$ conservation of Ramsey's theorem for pairs
Ramsey's theorem for pairs (RT²₂) is ∀Π⁰₄ conservative over RCA₀ + BΣ⁰₂, improving on prior work by Patey and Yokoyama.