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

DOI10.1016/J.APAL.2013.07.016zbMATH Open1348.03055DBLPjournals/apal/Rathjen14OpenAlexW2024836736WikidataQ59900206 ScholiaQ59900206MaRDI QIDQ392292FDOQ392292

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

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
• Ordinal Analysis with an Introduction to Proof Theory
• scientific article; zbMATH DE number 3991491

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Title not available (Why is that?)
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• The strength of Mac Lane set theory
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• From the weak to the strong existence property
• 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
• Title not available (Why is that?)
• A quasi-intumonistic set theory
• Semi-intuitionistic set theory
• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal

Cited In (12)

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

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)