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

DOI10.1007/978-3-030-80049-9_27MaRDI QIDQ2117792zbMATH OpenOpenAlexFDO

Authors Leszek Aleksander Kołodziejczyk, Keita Yokoyama

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)

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
• scientific article; zbMATH DE number 7377981
• Ramsey numbers for partially-ordered sets
• Term extraction and Ramsey's theorem for pairs
• scientific article; zbMATH DE number 1341925
• Nonstandard methods in Ramsey's theorem for pairs
• On a Ramsey-theoretic property of orders
• Separating principles below Ramsey's theorem for pairs

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3446873 (Why is no real title available?)
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• Constructing κ-like Models of Arithmetic
• On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations
• On the strength of Ramsey's theorem
• On the strength of Ramsey's theorem for pairs
• On the strength of Ramsey's theorem without \(\Sigma _{1}\)-induction
• Ramsey's theorem and recursion theory
• Rapidly growing Ramsey functions
• Some independence results for Peano arithmetic
• Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
• The degree of a \(\Sigma_ n\) cut
• The inductive strength of Ramsey's theorem for pairs
• The metamathematics of Stable Ramsey’s Theorem for Pairs
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• The strength of Ramsey's theorem for pairs and arbitrarily many colors
• The strength of infinitary Ramseyan principles can be accessed by their densities
• Weaker cousins of Ramsey's theorem over a weak base theory
• \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)
• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs

Cited in

(3)

• Reverse mathematics and Ramsey properties of partial orderings
• scientific article; zbMATH DE number 7377981 (Why is no real title available?)
• Reverse mathematics and Ramsey's property for trees

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)