PREDICATIVE COLLAPSING PRINCIPLES
ANTON FREUND · Journal of Symbolic Logic · 2019
Abstract We show that arithmetical transfinite recursion is equivalent to a suitable formalization of the following: For every ordinal α there exists an ordinal β such that $1 + \beta \cdot \left( {\beta + \alpha } \right)$ (ordinal arithmetic) admits an almost order preserving collapse into β. Arithmetical comprehension is equivalent to a statement of the same form, with $\beta \cdot \alpha$ at the place of $\beta \cdot \left( {\beta + \alpha } \right)$ . We will also characterize the principles that any set is contained in a countable coded ω-model of arithmetical transfinite recursion and arithmetical comprehension, respectively.