An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension

DOI10.1007/s00153-004-0232-4zbMath1068.03047OpenAlexW1986871386MaRDI QIDQ1777268

Michael Rathjen

Publication date: 13 May 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0232-4

zbMATH Keywords

Ordinal analysisPi-one-two-comprehensionKripke-Platek with stable ordinals

Mathematics Subject Classification ID

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

Related Items (19)

The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity ⋮ How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems ⋮ Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Strong unfoldability, shrewdness and combinatorial consequences ⋮ Structural reflection, shrewd cardinals and the size of the continuum ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Wellfoundedness proof with the maximal distinguished set ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ Weak systems of determinacy and arithmetical quasi-inductive definitions ⋮ WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY ⋮ An ordinal analysis of stability ⋮ An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ Iterated Inductive Definitions Revisited ⋮ A Glimpse of $$ \sum_{3} $$-elementarity ⋮ THE ORDER OF REFLECTION ⋮ Lorenzen Between Gentzen and Schütte

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set theory. An introduction to large cardinals
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Proof theory of reflection
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Proof theory and ordinal analysis
• Strong axioms of infinity and elementary embeddings
• Explicit mathematics with the monotone fixed point principle. II: Models
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Systems of predicative analysis
• Systems of predicative analysis, II: Representations of ordinals
• The fine structure of the constructible hierarchy

This page was built for publication: An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension