A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION
From MaRDI portal
Publication:5855753
DOI10.1017/JSL.2020.23zbMath1485.03234arXiv1907.07611OpenAlexW3094509376MaRDI QIDQ5855753
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
Related Items (1)
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