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 pigeonhole principle for , we uncover two weak variants of Ramsey's Theorem for pairs.
Connections
Explore this paper’s authors, topics and related work.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Reviews 0
Write a review
No reviews yet.
Discussion 0
Add a comment
No comments yet.