Simplified Cut Elimination for Kripke-Platek Set Theory

DOI10.1007/978-3-030-77799-9_2OpenAlexW4296129245MaRDI QIDQ5055279

No author found.

Publication date: 13 December 2022

Published in: Axiomatic Thinking II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-77799-9_2

zbMATH Keywords

cut eliminationKripke-Platek set theoryoperator controlled derivations\(\Pi_2\) ordinal

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (1)

Hilbert’s Axiomatisches Denken

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• A new system of proof-theoretic ordinal functions
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
• A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions

This page was built for publication: Simplified Cut Elimination for Kripke-Platek Set Theory