SRT₂^2 does not imply RT₂^2 in -models

DOI10.1016/J.AIM.2021.107903OpenAlexW3186877027MaRDI QIDQ2048618FDOQ2048618

Authors: Benoit Monin, Ludovic Patey 

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

Recommendations

• On the strength of Ramsey's theorem for pairs
• The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
• \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)
• Stable Ramsey's theorem and measure
• Ramsey's theorem for singletons and strong computable reducibility

zbMATH Keywords

reverse mathematicscohesivenessRamsey's theorem for pairspigeonhole principle

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Subsystems of second order arithmetic
• ∏ 0 1 Classes and Degrees of Theories
• Math in 100 key breakthroughs
• On the strength of Ramsey's theorem for pairs
• \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)
• The metamathematics of Stable Ramsey’s Theorem for Pairs
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• A cohesive set which is not high
• Ramsey's theorem and recursion theory
• Partial realizations of Hilbert's program
• On the strength of Ramsey's theorem
• Cohesive sets and rainbows
• A \(\Delta_2^0\) set with no infinite low subset in either it or its complement
• On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics
• Partition Theorems and Computability Theory
• The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
• On uniform relationships between combinatorial problems
• Controlling iterated jumps of solutions to combinatorial problems
• Strong reductions between combinatorial principles
• On notions of computability-theoretic reduction between Π21 principles
• The weakness of being cohesive, thin or free in reverse mathematics
• Cohesive avoidance and strong reductions
• Pigeons do not jump high
• Some results concerning the \(\mathsf{SRT}_2^2\) vs. \(\mathsf{COH}\) problem
• Cone avoiding closed sets

Cited In (8)

• SRT22 does not imply RT22 in omega-models
• \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)
• Erdős-Moser and \(I \Sigma_2\)
• Separating weak \(\alpha\)-change and \(\alpha\)-change genericity
• The strength of the rainbow Ramsey Theorem
• An inside/outside Ramsey theorem and recursion theory
• Reduction games, provability and compactness
• The Ginsburg-Sands theorem and computability theory

This page was built for publication: \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048618)