A new computation of the -ordinal of KP

DOI10.1017/JSL.2013.31zbMATH Open1337.03084OpenAlexW2061386991MaRDI QIDQ2921035FDOQ2921035

Authors: 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

Recommendations

• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
• scientific article; zbMATH DE number 3993582
• scientific article; zbMATH DE number 510775
• Proof theory of reflection
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Simplified Cut Elimination for Kripke-Platek Set Theory
• On some semi-constructive theories related to Kripke-Platek set theory

This page was built for publication: A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)

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