The following pages link to The Herbrand topos (Q5891131):
Displaying 6 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)
- On the Herbrand content of LK (Q5015361) (← links)
- (Q5413231) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)