On the Indecomposability of ωn
Work
Year: 2012
Type: article
Abstract: 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... more
Authors Jared Corduan, François G. Dorais
Institution University of Michigan–Ann Arbor
Cites: 12
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid