Conservations of first-order reflections

TL;DR

This paper demonstrates that the set theory KPΠ_{N+1} for Π_{N+1}-reflecting universes is conservative over certain iterations of Π_{N}-recursively Mahlo operations, establishing a foundational equivalence in set theory.

Contribution

It proves a conservation result linking KPΠ_{N+1} and iterations of Π_{N}-recursively Mahlo operations for all N ≥ 2.

Findings

KPΠ_{N+1} is Π_{N+1}-conservative over these iterations

Establishes a foundational equivalence in set-theoretic reflection principles

Extends previous conservation results to higher levels of reflection

Abstract

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