CONSERVATIONS OF FIRST-ORDER REFLECTIONS

DOI10.1017/jsl.2014.7zbMath1354.03089arXiv1204.0205OpenAlexW2963269172MaRDI QIDQ2933677

Toshiyasu Arai

Publication date: 5 December 2014

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

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

zbMATH Keywords

reflecting ordinalsconservative extensions

Mathematics Subject Classification ID

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

Related Items (2)

Intuitionistic fixed point theories over set theories ⋮ A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION

Cites Work

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

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