Pages that link to "Item:Q263883"
From MaRDI portal
The following pages link to Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883):
Displaying 5 items.
- Triposes, q-toposes and toposes (Q476121) (← links)
- Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993 (Q1365670) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)