Mahlo classes for first-order reflections

Abstract

In this note we axiomatize the ${\Pi }_{k+1}$-consequences in the set theory $\mathsf{KP}{\Pi }_N$ for ${\Pi }_N$-reflecting universes in terms of iterations of ${\Pi }_i$-recursively Mahlo operations for $1\le k\le i<N$.

References in corpus (1)

• Iterating the recursively Mahlo operations