Pages that link to "Item:Q4401924"
From MaRDI portal
The following pages link to Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen (Q4401924):
Displaying 24 items.
- On bounded functional interpretations (Q424545) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Ein starker Normalisationssatz für die bar-rekursiven Funktionale (Q4121888) (← links)
- Eine beweistheoretische Anwendung partieller stetiger Funktionale (Q4184826) (← links)
- Interpretationen der Heyting-Arithmetik endlicher Typen (Q4198751) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
