The following pages link to Extensional realizability (Q1356980):
Displaying 17 items.
- The number of countable models in realizability toposes (Q456878) (← links)
- Realizability. An introduction to its categorical side (Q1011333) (← links)
- Realizability and recursive set theory (Q1094418) (← links)
- Elementary realizability (Q1362589) (← links)
- Developing theories of types and computability via realizability (Q1574785) (← links)
- More exact completions that are toposes (Q1602851) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- Relative and modified relative realizability (Q1849865) (← 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)
- A note on inequivalence of realizability toposes (Q3826731) (← links)
- (Q4215635) (← 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)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
