Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection

DOI10.1016/j.apal.2004.01.001zbMath1057.03050OpenAlexW1576539916MaRDI QIDQ1887655

Toshiyasu Arai

Publication date: 22 November 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.01.001

zbMATH Keywords

Proof theoryOrdinal analysisProof-theoretic ordinalsReflecting ordinals

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

Well-Ordering Principles in Proof Theory and Reverse Mathematics, Epsilon substitution for \(ID_1\) via cut-elimination, Relativized ordinal analysis: the case of power Kripke-Platek set theory, Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators, Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory, Ordinal analysis by transformations, Epsilon substitution method for -FIX, A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection, PROOF THEORY OF WEAK COMPACTNESS

Cites Work

• Proof theory of reflection
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Ordinal diagrams for Π₃-reflection
• Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
• Unnamed Item
• Unnamed Item