The following pages link to The Herbrand topos (Q5891131):
Displaying 5 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Models of intuitionistic set theory in subtoposes of nested realizability toposes (Q2344624) (← links)
- (Q5413231) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
