^1_2-comprehension and the property of Ramsey

DOI10.1007/S00153-009-0124-8MaRDI QIDQ1016505zbMATH OpenOpenAlexFDO

Authors Christoph Heinatsch

Publication date 6 May 2009

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-009-0124-8

zbMATH Keywords

autonomous iterated RamseynessR-calculusRamsey propertyreverse mathematics

Mathematics Subject Classification ID

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

Review text

A set \(X\) of sets of natural numbers is said to have the property of Ramsey if there is an infinite set \(H\) such that either every infinite subset of \(H\) is in \(X\), or every infinite subset of \(H\) is not in \(X\). The author develops an axiom system, called the \(R\)-calculus, for working with the property of Ramsey in subsystems of second-order arithmetic. He shows that the \(R\)-calculus proves the same \(\Pi^1_1\) sentences as the \(\Pi^1_2\) comprehension scheme. This work is based on the author's thesis [\(\Pi^1_2\)-comprehension and the property of Ramsey. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (Dissertation) (2007; Zbl 1140.03039)]. The \(R\)-calculus is related to the \(\mu\)-calculus, which appears in his work with \textit{M. Möllerfeld} [``Determinacy in second order arithmetic, in: S. Bold et al. (eds.), Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26--29, 2004. London: King's College Publications. Studies in Logic (London) 11, 143--155 (2007; Zbl 1151.03030)].

Recommendations

• 12-comprehension and the property of Ramsey
• On the strength of Ramsey's theorem
• Reverse mathematics and Ramsey's property for trees
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• Reverse mathematics and Ramsey properties of partial orderings

Cites work

• 12-comprehension and the property of Ramsey
• A new proof that analytic sets are Ramsey
• An effective proof that open sets are Ramsey
• Every analytic set is Ramsey
• Happy families
• Higher set theory and mathematical practice
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1882496 (Why is no real title available?)
• Hyperarithmetically Encodable Sets
• Reverse Mathematics and Π¹₂ Comprehension
• REVERSE MATHEMATICS OF MF SPACES
• Set Theory
• The Galvin-Prikry theorem and set existence axioms
• Uniformly introreducible sets

Cited in

(3)

• \(\Pi_1^1\)-comprehension as a well-ordering principle
• Is Ramsey's theorem omega-automatic?
• 12-comprehension and the property of Ramsey

This page was built for publication: \({\Pi^1_2}\)-comprehension and the property of Ramsey

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