Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
From MaRDI portal
Publication:4401924
DOI10.1007/BF02025118zbMath0277.02006MaRDI QIDQ4401924
Publication date: 1974
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137884
Intuitionistic mathematics (03F55) Higher-type and set recursion theory (03D65) Proof theory and constructive mathematics (03F99)
Related Items
A parametrised functional interpretation of Heyting arithmetic, A herbrandized functional interpretation of classical first-order logic, Hardwiring truth in functional interpretations, Glueing and orthogonality for models of linear logic, CHAD for expressive total languages, On bounded functional interpretations, From the weak to the strong existence property, Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\), Functional interpretations of linear and intuitionistic logic, Ein starker Normalisationssatz für die bar-rekursiven Funktionale, Extracting Herbrand disjunctions by functional interpretation, A complexity analysis of functional interpretations, A functional interpretation for nonstandard arithmetic, Logical problems of functional interpretations, Proof theory in the abstract, Proof interpretations with truth, Weak König's lemma in Herbrandized classical second-order arithmetic, Theory of proofs (arithmetic and analysis), Eine beweistheoretische Anwendung partieller stetiger Funktionale, Functional Interpretations of Intuitionistic Linear Logic, Interpretationen der Heyting-Arithmetik endlicher Typen, Functional interpretation and inductive definitions, Functional interpretation of Aczel's constructive set theory, Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
Cites Work
