Ordinal diagrams for Π3-reflection

DOI10.2307/2586705MaRDI QIDQ4527929zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 17 February 2002

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

Full work available at URL https://doi.org/10.2307/2586705

zbMATH Keywords

ordinal notationsordinal systemsproof-theoretic strength of subsystems of analysis

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• Ordinal diagrams for recursively Mahlo universes
• Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators
• A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection
• scientific article; zbMATH DE number 1390268
• Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref
• scientific article; zbMATH DE number 193575
• scientific article; zbMATH DE number 1390277

Cited in

(10)

• Proof theory of reflection
• Ordinal diagrams for recursively Mahlo universes
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Wellfoundedness proof with the maximal distinguished set
• Proof theory of weak compactness
• A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection
• Thinning operators and \(\Pi_4\)-reflection
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Reflection ranks and ordinal analysis
• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators

This page was built for publication: Ordinal diagrams for Π₃-reflection

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