An ordinal analysis of stability

DOI10.1007/S00153-004-0226-2MaRDI QIDQ1765099zbMATH OpenOpenAlexFDO

Authors Michael Rathjen

Publication date 22 February 2005

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

Full work available at URL https://doi.org/10.1007/s00153-004-0226-2

zbMATH Keywords

Kripke-Platekordinal analysisPi-one-two-comprehensionstability

Mathematics Subject Classification ID

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

Review text

The author gives an ordinal analysis of \(\mathbf{ {KPi}} + \forall \varrho \exists \pi. \pi\) is \(\pi + \rho\) stable. This paper is the first, in a series of three, towards an ordinal analysis of \(\Pi_2^1\)-comprehension (which corresponds to \(\mathbf{ {KP}} + \Sigma_1\text{-separation}\)). The presented case is ``not too complicated since in the ordinal representation system which is based on \(\nu\)-indescribable cardinals ``the collapsing functions still collapse single points [p.~2]. The following papers of this series [\textit{M. Rathjen}, ``An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension, Arch. Math. Logic 44, No. 3, 263--362 (2005; Zbl 1068.03047), reviewed below; An ordinal analysis of iterated \(\Pi_2^1\) comprehension and related systems. Preprint, 85 pages] will use collapsing functions which ``collaps points from an interval [p.~2].

Recommendations

• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Proof-theoretic analysis of KPM
• scientific article; zbMATH DE number 733387
• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
• Ordinal notations based on a weakly Mahlo cardinal

Cites work

• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Explicit mathematics with the monotone fixed point principle. II: Models
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• scientific article; zbMATH DE number 432702 (Why is no real title available?)
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3591984 (Why is no real title available?)
• Proof theory and ordinal analysis
• Proof theory of reflection
• Proof-theoretic analysis of KPM
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Set theory. An introduction to large cardinals
• Systems of predicative analysis, II: Representations of ordinals

Cited in

(13)

• Epsilon substitution for \(ID_1\) via cut-elimination
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• On Relating Theories: Proof-Theoretical Reduction
• A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection
• scientific article; zbMATH DE number 3983154 (Why is no real title available?)
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Lorenzen Between Gentzen and Schütte
• Iterated inductive definitions revisited
• A simplified ordinal analysis of first-order reflection
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension
• Local Hanf-Tarski numbers

This page was built for publication: An ordinal analysis of stability

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