加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本