^1_2-comprehension and the property of Ramsey

DOI10.1007/S00153-009-0124-8zbMATH Open1171.03033OpenAlexW2099431528MaRDI QIDQ1016505FDOQ1016505

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

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

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)

Cites Work

• A new proof that analytic sets are Ramsey
• Happy families
• Set Theory
• REVERSE MATHEMATICS OF MF SPACES
• Title not available (Why is that?)
• The Galvin-Prikry theorem and set existence axioms
• Higher set theory and mathematical practice
• Every analytic set is Ramsey
• Hyperarithmetically Encodable Sets
• Uniformly introreducible sets
• An effective proof that open sets are Ramsey
• Title not available (Why is that?)
• Reverse Mathematics and Π¹₂ Comprehension
• \(\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)