The following pages link to (Q4981444):
Displaying 8 items.
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
- A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\) (Q1128184) (← 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)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- Functional interpretation and the existence property (Q3159413) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
