Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
From MaRDI portal
Publication:4401924
Cites work
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3259893 (Why is no real title available?)
- scientific article; zbMATH DE number 3360145 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Intuitionistic analysis and Gödel's interpretation
- Schlussweisen-Kalküle der Prädikatenlogik
- Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(28)- Theory of proofs (arithmetic and analysis)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
- Glueing and orthogonality for models of linear logic
- Functional interpretation of Aczel's constructive set theory
- Weak König's lemma in Herbrandized classical second-order arithmetic
- A herbrandized functional interpretation of classical first-order logic
- Extracting Herbrand disjunctions by functional interpretation
- A parametrised functional interpretation of Heyting arithmetic
- Proof interpretations with truth
- Functional interpretation and inductive definitions
- Ein starker Normalisationssatz für die bar-rekursiven Funktionale
- Eine beweistheoretische Anwendung partieller stetiger Funktionale
- Interpretationen der Heyting-Arithmetik endlicher Typen
- On bounded functional interpretations
- From the weak to the strong existence property
- A complexity analysis of functional interpretations
- Functional Interpretations of Intuitionistic Linear Logic
- Logical problems of functional interpretations
- Proof theory in the abstract
- Hardwiring truth in functional interpretations
- CHAD for expressive total languages
- Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
- Uniform functional interpretations
- is for Dialectica
- A functional interpretation for nonstandard arithmetic
- Apartness and the elimination of strong forms of extensionality
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
- Functional interpretations of linear and intuitionistic logic
This page was built for publication: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4401924)
