Logical problems of functional interpretations

DOI10.1016/S0168-0072(01)00074-4zbMath0992.03071MaRDI QIDQ5957851

Justus Diller

Publication date: 13 March 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

arithmetic in all finite typesconstructive set functionalsconstructive set theoryfunctional interpretations

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Related Items (2)

A herbrandized functional interpretation of classical first-order logic ⋮ Extracting Herbrand disjunctions by functional interpretation

Cites Work

• A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\)
• Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
• Functional interpretation of Aczel's constructive set theory
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols
• A proof-theoretic characterization of the primitive recursive set functions
• Interpretationen der Heyting-Arithmetik endlicher Typen
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical problems of functional interpretations