The following pages link to Setoids and universes (Q3583021):
Displaying 7 items.
- Category theoretic structure of setoids (Q2253183) (← links)
- On enveloping type-definable structures (Q3173539) (← links)
- Evidence for Set-Theoretic Truth and the Hyperuniverse Programme (Q3305407) (← links)
- (Q4003284) (← links)
- (Q4283245) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- From type theory to setoids and back (Q5889302) (← links)