The following pages link to (Q4870815):
Displaying 13 items.
- Continuity and geometric logic (Q280833) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Localic sup-lattices and tropological systems. (Q1427786) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Stably locally compact locales are dual to continuous posets (Q1979302) (← links)
- Pitts monads and a lax descent theorem (Q2260278) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Presenting quotient locales (Q6115833) (← links)
