Relativized ordinal analysis: the case of power Kripke-Platek set theory

DOI10.1016/J.APAL.2013.07.016zbMath1348.03055DBLPjournals/apal/Rathjen14OpenAlexW2024836736WikidataQ59900206 ScholiaQ59900206MaRDI QIDQ392292

Michael Rathjen

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.016

zbMATH Keywords

proof-theoretic strengthordinal analysisordinal representation systemspower Kripke-Platek set theorypower-admissible set

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (11)

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ End extending models of set theory via power admissible covers ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ Constructing the constructible universe constructively ⋮ From the weak to the strong existence property ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ The Operational Perspective: Three Routes ⋮ From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ On Some Semi-constructive Theories Related to Kripke–Platek Set Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From the weak to the strong existence property
• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Proof theory of reflection
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• An ordinal analysis of stability
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Theories and ordinals in proof theory
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• Ordinal diagrams for Π₃-reflection
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
• A quasi-intumonistic set theory
• Semi-intuitionistic set theory
• The strength of Mac Lane set theory

This page was built for publication: Relativized ordinal analysis: the case of power Kripke-Platek set theory