Logical problems of functional interpretations
From MaRDI portal
Publication:5957851
DOI10.1016/S0168-0072(01)00074-4zbMath0992.03071MaRDI QIDQ5957851
Publication date: 13 March 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
arithmetic in all finite typesconstructive set functionalsconstructive set theoryfunctional interpretations
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
