A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION

DOI10.1017/JSL.2020.23zbMath1485.03234arXiv1907.07611OpenAlexW3094509376MaRDI QIDQ5855753

Toshiyasu Arai

Publication date: 19 March 2021

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

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

zbMATH Keywords

ordinalsMahlo classes

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (1)

Wellfoundedness proof with the maximal distinguished set

Cites Work

• Unnamed Item
• Unnamed Item
• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators
• Proof theory of reflection
• Ordinal diagrams for recursively Mahlo universes
• An ordinal analysis of stability
• CONSERVATIONS OF FIRST-ORDER REFLECTIONS
• Iterating the recursively Mahlo operations
• Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection

This page was built for publication: A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION