Stably Compact Spaces and Closed Relations

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)

Mathematics Subject Classification ID

Compactness (54D30) Categorical methods in general topology (54B30) Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Related Items

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

• 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
• 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