A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)

DOI10.1007/s001530050167zbMath0968.03066OpenAlexW2079521728MaRDI QIDQ1590194

Wolfgang Burr

Publication date: 22 March 2001

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050167

zbMATH Keywords

Kripke-Platek set theoryDiller-Nahm and Shoenfield style Dialectica interpretation

Mathematics Subject Classification ID

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

Related Items (6)

Simplified Cut Elimination for Kripke-Platek Set Theory ⋮ A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω ⋮ Logical problems of functional interpretations ⋮ Injecting uniformities into Peano arithmetic ⋮ Functional interpretation and inductive definitions ⋮ Functional interpretation of Aczel's constructive set theory

This page was built for publication: A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)