The following pages link to Extensional realizability (Q1356980):
Displaying 7 items.
- More exact completions that are toposes (Q1602851) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- Computability structures, simulations and realizability (Q5740351) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
