Pages that link to "Item:Q2836179"
From MaRDI portal
The following pages link to Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory (Q2836179):
Displaying 9 items.
- Cartesian closed Dialectica categories (Q998318) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\) (Q1590194) (← links)
- Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory (Q1868168) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- (Q4250050) (← links)
- (Q4981444) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)