Ordinal diagrams for Π3-reflection

DOI10.2307/2586705zbMath0979.03043OpenAlexW1985231476MaRDI QIDQ4527929

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 notationsproof-theoretic strength of subsystems of analysisordinal systems

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (5)

Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators ⋮ Wellfoundedness proof with the maximal distinguished set ⋮ PROOF THEORY OF WEAK COMPACTNESS

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