Open Access
2012 On the Indecomposability of ωn
Jared R. Corduan, François G. Dorais
Notre Dame J. Formal Logic 53(3): 373-395 (2012). DOI: 10.1215/00294527-1716784


We study the reverse mathematics of pigeonhole principles for finite powers of the ordinal ω. Four natural formulations are presented, and their relative strengths are compared. In the analysis of the pigeonhole principle for ω2, we uncover two weak variants of Ramsey’s theorem for pairs.


Download Citation

Jared R. Corduan. François G. Dorais. "On the Indecomposability of ωn." Notre Dame J. Formal Logic 53 (3) 373 - 395, 2012.


Published: 2012
First available in Project Euclid: 24 September 2012

zbMATH: 1260.03017
MathSciNet: MR2981014
Digital Object Identifier: 10.1215/00294527-1716784

Primary: 03B30
Secondary: 03F35

Keywords: indecomposability , partition principles , reverse mathematics

Rights: Copyright © 2012 University of Notre Dame

Vol.53 • No. 3 • 2012
Back to Top