Pages that link to "Item:Q387125"
From MaRDI portal
The following pages link to Basic subtoposes of the effective topos (Q387125):
Displaying 5 items.
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Mass problems and intuitionistic higher-order logic (Q2799749) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
- Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)
