An ordinal analysis of stability

DOI10.1007/S00153-004-0226-2zbMath1068.03046OpenAlexW2016079395MaRDI QIDQ1765099

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

stabilityordinal analysisKripke-PlatekPi-one-two-comprehension

Mathematics Subject Classification ID

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

Related Items (9)

Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ Weak systems of determinacy and arithmetical quasi-inductive definitions ⋮ Iterated Inductive Definitions Revisited ⋮ A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results ⋮ A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION ⋮ Lorenzen Between Gentzen and Schütte

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic analysis of KPM
• 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
• 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, II: Representations of ordinals

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