A new computation of the -ordinal of KP

DOI10.1017/JSL.2013.31MaRDI QIDQ2921035zbMATH OpenOpenAlexFDO

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

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)

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\)

Cites work

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

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)