\({\Pi^1_2}\)-comprehension and the property of Ramsey

DOI10.1007/s00153-009-0124-8zbMath1171.03033OpenAlexW2099431528MaRDI QIDQ1016505

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

reverse mathematicsRamsey propertyautonomous 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Galvin-Prikry theorem and set existence axioms
• An effective proof that open sets are Ramsey
• REVERSE MATHEMATICS OF MF SPACES
• A new proof that analytic sets are Ramsey
• Happy families
• Hyperarithmetically Encodable Sets
• Set Theory
• Reverse Mathematics and Π¹₂ Comprehension
• Uniformly introreducible sets
• Higher set theory and mathematical practice
• Every analytic set is Ramsey

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