CONSERVATIONS OF FIRST-ORDER REFLECTIONS

DOI10.1017/JSL.2014.7MaRDI QIDQ2933677zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 5 December 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.0205

zbMATH Keywords

conservative extensionsreflecting ordinals

Mathematics Subject Classification ID

Large cardinals (03E55) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15)

Abstract: The set theory KP$P{i}_{N+1}$ for $P{i}_{N+1}$-reflecting universes is shown to be $P{i}_{N+1}$-conservative over iterations of $P{i}_N$-recursively Mahlo operations for each $Ngeq2$.

Cites work

• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators

Cited in

(2)

• Intuitionistic fixed point theories over set theories
• A simplified ordinal analysis of first-order reflection

This page was built for publication: CONSERVATIONS OF FIRST-ORDER REFLECTIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2933677)