Functional interpretation and the existence property

DOI10.1002/MALQ.200410004MaRDI QIDQ3159413zbMATH OpenOpenAlexFDO

Authors Klaus Frovin Jørgensen

Publication date 16 February 2005

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200410004

zbMATH Keywords

disjunction propertyexistence propertyfunctional interpretationintuitionistic arithmetic

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• The Functional Interpretation of the Existential Quantifier
• Functional interpretation and inductive definitions
• On bounded functional interpretations
• Functional interpretation of Aczel's constructive set theory
• Gödel functional interpretation and weak compactness
• Definability in functional analysis
• The interpretation existence lemma
• A functional functional interpretation
• scientific article; zbMATH DE number 6307929

Cited in

(7)

• Proof interpretations with truth
• A note on the existence property for intuitionistic logic with function symbols
• A functional functional interpretation
• The Functional Interpretation of the Existential Quantifier
• On the Herbrand functional interpretation
• Hardwiring truth in functional interpretations
• A Herbrandised Interpretation of Semi-Intuitionistic Second-Order Arithmetic with Function Variables

This page was built for publication: Functional interpretation and the existence property

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