^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

Ramsey propertyreverse mathematicsautonomous iterated RamseynessR-calculus

Mathematics Subject Classification ID

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

Recommendations

• \(\Pi\frac12\)-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

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1882496 (Why is no real title available?)
• 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
• Hyperarithmetically Encodable Sets
• REVERSE MATHEMATICS OF MF SPACES
• Reverse Mathematics and Π¹₂ Comprehension
• Set Theory
• The Galvin-Prikry theorem and set existence axioms
• Uniformly introreducible sets
• \(\Pi\frac12\)-comprehension and the property of Ramsey

Cited in

(3)

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

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)