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)

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)