Functional interpretations of classical systems

MaRDI QIDQ3081643zbMATH OpenFDO

Authors Justus Diller

Publication date 9 March 2011

zbMATH Keywords

Dialectica interpretationDiller-Nahm interpretationfunctional interpretation of classical logic

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Recommendations

• scientific article; zbMATH DE number 6307929
• scientific article; zbMATH DE number 1215497
• Functional interpretation and inductive definitions
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory
• Logical problems of functional interpretations

Cited in

(7)

• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory
• Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
• scientific article; zbMATH DE number 3873314 (Why is no real title available?)
• Functional interpretation and inductive definitions
• scientific article; zbMATH DE number 3954904 (Why is no real title available?)
• A note on Spector's quantifier-free rule of extensionality

This page was built for publication: Functional interpretations of classical systems

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