A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω

DOI10.1017/jsl.2013.31zbMath1337.03084OpenAlexW2061386991MaRDI QIDQ2921035

Fernando Ferreira

Publication date: 30 September 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2013.31

zbMATH Keywords

Kripke-Platek set theoryfunctional interpretationsconservativityproof-theoretic ordinalsstrict-\(\Pi^1_{1}\)-reflectiontree functionals

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Functionals in proof theory (03F10)

Related Items

Simplified Cut Elimination for Kripke-Platek Set Theory, On Some Semi-constructive Theories Related to Kripke–Platek Set Theory

Cites Work

• Unifying functional interpretations
• Harrington's conservation theorem redone
• Injecting uniformities into Peano arithmetic
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
• Bounded functional interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES