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

DOI10.1016/J.APAL.2013.07.016MaRDI QIDQ392292zbMATHOpenAlexDBLPWikidataFDO

Authors 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

ordinal analysisproof-theoretic strengthordinal representation systemspower Kripke-Platek set theorypower-admissible set

Mathematics Subject Classification ID

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

Recommendations

• Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
• Logical methods for studying relations in criterial spaces with arbitrary ordinal scales
• Power Kripke-Platek set theory and the axiom of choice
• A Model-Theoretic Approach to Ordinal Analysis
• On the ordinal structure of the weighted set relation
• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
• The model-theoretic ordinal analysis of theories of predicative strength
• scientific article; zbMATH DE number 4039893
• Ordinal Analysis with an Introduction to Proof Theory
• scientific article; zbMATH DE number 3991491

Cites work

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

Cited in

(14)

• Power Kripke-Platek set theory and the axiom of choice
• On some semi-constructive theories related to Kripke-Platek set theory
• The operational penumbra: some ontological aspects
• The Operational Perspective: Three Routes
• Choice and independence of premise rules in intuitionistic set theory
• Relativizing operational set theory
• Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
• Constructing the constructible universe constructively
• From mathesis universalis to fixed points and related set-theoretic concepts
• From the weak to the strong existence property
• scientific article; zbMATH DE number 4014709 (Why is no real title available?)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• End extending models of set theory via power admissible covers
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture

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

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