On the indecomposability of \(\omega^n\)

DOI10.1215/00294527-1716784zbMath1260.03017arXiv1111.1367OpenAlexW3106053703MaRDI QIDQ1762361

François G. Dorais, Jared R. Corduan

Publication date: 23 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.1367

zbMATH Keywords

ordinalindecomposabilityreverse mathematicsRamsey's theorempigeonhole principlepartition principle

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
• Unnamed Item
• The polarized Ramsey's theorem
• Reverse mathematics and ordinal exponentiation
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• On the strength of Ramsey's theorem
• On the strength of Ramsey's theorem for pairs
• A Δ₂⁰ set with no infinite low subset in either it or its complement
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
• Ramsey's theorem and cone avoidance
• A cohesive set which is not high

This page was built for publication: On the indecomposability of \(\omega^n\)