Stably Compact Spaces and Closed Relations
From MaRDI portal
Publication:4917058
DOI10.1016/S1571-0661(04)80964-2zbMath1260.18002MaRDI QIDQ4917058
Mathias Kegelmann, Achim Jung, M. Andrew Moshier
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Compactness (54D30) Categorical methods in general topology (54B30) Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)
Related Items (11)
Relation lifting, a survey ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Entailment systems for stably locally compact locales ⋮ Bitopological duality for distributive lattices and Heyting algebras ⋮ Continuous Domain Theory in Logical Form ⋮ Compact Hausdorff spaces with relations and Gleason spaces ⋮ On the computational content of the Lawson topology ⋮ Stably compact spaces ⋮ Finite approximation of measure and integration
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructing a quasi-uniform function space
- Continuous domains in logical form
- Stable Compactification I
- A Direct Proof of the Hofmann-Mislove Theorem
- Relational Methods in Computer Science
- Sobrification and bicompletion of totally bounded quasi-uniform spaces
- The regular-locally compact coreflection of a stably locally compact locale
This page was built for publication: Stably Compact Spaces and Closed Relations
