Abstract
AbstractThe set theory ΚΡΠN+1 for ΠN+1-reflecting universes is shown to be ΠN+1-conservative over iterations of ΠN-recursively Mahlo operations for each N ≥ 2.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
2. [6] Arai T. , Lifting up the proof theory to the countables: Zermelo-Fraenkel’s set theory, forthcoming.
3. [4] Arai T. , Intuitionistic fixed point theories over set theories, submitted, arXiv: 1312.1133.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION;The Journal of Symbolic Logic;2020-09
2. Collapsings;Ordinal Analysis with an Introduction to Proof Theory;2020
3. Intuitionistic fixed point theories over set theories;Archive for Mathematical Logic;2015-03-31