A simplified ordinal analysis of first-order reflection

DOI10.1017/JSL.2020.23MaRDI QIDQ5855753zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 19 March 2021

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

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

zbMATH Keywords

Mahlo classesordinals

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Abstract: In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $psi$-functions. Provable $Sigm{a}_1$-sentences on $L_{omeg{a}_1^{CK}}$ are bounded through cut-elimination on operator controlled derivations.

Recommendations

• A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection
• Proof theory of reflection
• On elementary theories of ordinal notation systems based on reflection principles
• scientific article; zbMATH DE number 432700
• A new system of proof-theoretic ordinal functions

Cites work

• An ordinal analysis of stability
• CONSERVATIONS OF FIRST-ORDER REFLECTIONS
• scientific article; zbMATH DE number 432702 (Why is no real title available?)
• Iterating the recursively Mahlo operations
• Ordinal diagrams for recursively Mahlo universes
• Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection
• Proof theory of reflection
• Provably recursive functions of reflection
• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators

Cited in

(5)

• Wellfoundedness proof with the maximal distinguished set
• \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic
• A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection
• Reflection ranks and ordinal analysis
• THE ORDER OF REFLECTION

This page was built for publication: A simplified ordinal analysis of first-order reflection

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