Conservations of first-order reflections

The set theory KP$Π_{N+1}$ for $Π_{N+1}$-reflecting universes is shown to be $Π_{N+1}$-conservative over iterations of $Π_{N}$-recursively Mahlo operations for each $N\geq 2$.

No reviews yet.

No comments yet.