In search of the first-order part of Ramsey's theorem for pairs

DOI10.1007/978-3-030-80049-9_27OpenAlexW3185994086MaRDI QIDQ2117792FDOQ2117792

Keita Yokoyama, Leszek Aleksander Kołodziejczyk

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_27

zbMATH Keywords

reverse mathematicsfirst-order strengthRamey's theorem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rapidly growing Ramsey functions
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• The strength of infinitary Ramseyan principles can be accessed by their densities
• 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
• Some independence results for Peano arithmetic
• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
• Ramsey's theorem and recursion theory
• The degree of a \(\Sigma_ n\) cut
• On the strength of Ramsey's theorem
• On the strength of Ramsey's theorem without Σ₁‐induction
• The inductive strength of Ramsey's theorem for pairs
• On principles between ∑1- and ∑2-induction, and monotone enumerations
• Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
• Constructing κ-like Models of Arithmetic
• Weaker cousins of Ramsey's theorem over a weak base theory
• THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS

Cited In (3)

• Reverse mathematics and Ramsey properties of partial orderings
• Title not available (Why is that?)
• Reverse mathematics and Ramsey's property for trees

   Recommendations

• On the strength of Ramsey's theorem for pairs 👍 👎
• The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs 👍 👎
• The inductive strength of Ramsey's theorem for pairs 👍 👎
• Title not available (Why is that?) 👍 👎
• Ramsey numbers for partially-ordered sets 👍 👎
• Term extraction and Ramsey's theorem for pairs 👍 👎
• Title not available (Why is that?) 👍 👎
• Nonstandard methods in Ramsey's theorem for pairs 👍 👎
• On a Ramsey-theoretic property of orders 👍 👎
• SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS 👍 👎

This page was built for publication: In search of the first-order part of Ramsey's theorem for pairs

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