Pages that link to "Item:Q1868168"
From MaRDI portal
The following pages link to Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory (Q1868168):
Displaying 7 items.
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Set theory with and without urelements and categories of interpretations (Q2505133) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory (Q2836179) (← links)
- A constructive interpretation of the full set theory (Q3772179) (← links)
- (Q4981444) (← links)