Pages that link to "Item:Q263883"

The following pages link to Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883):

Displaying 2 items.

• On a generalization of equilogical spaces (Q1653553) (← links)
• A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)