Stably compact spaces and closed relations

DOI10.1016/S1571-0661(04)80964-2MaRDI QIDQ4917058zbMATH OpenFDO

Authors Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80964-2

Mathematics Subject Classification ID

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

Recommendations

• Stably compact spaces
• scientific article; zbMATH DE number 7465766
• Finite approximation of stably compact spaces
• scientific article; zbMATH DE number 3878992
• Compact Hausdorff spaces with relations and Gleason spaces

Cites work

• A Direct Proof of the Hofmann-Mislove Theorem
• Constructing a quasi-uniform function space
• Continuous domains in logical form
• scientific article; zbMATH DE number 3878992 (Why is no real title available?)
• scientific article; zbMATH DE number 4092319 (Why is no real title available?)
• scientific article; zbMATH DE number 3666860 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1107502 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• Relational Methods in Computer Science
• Sobrification and bicompletion of totally bounded quasi-uniform spaces
• Stable Compactification I
• The regular-locally compact coreflection of a stably locally compact locale

Cited in

(19)

• Entailment systems for stably locally compact locales
• Compact Hausdorff spaces with relations and Gleason spaces
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• On the computational content of the Lawson topology
• Finite approximation of measure and integration
• Relation lifting, a survey
• Stably compact spaces
• scientific article; zbMATH DE number 4144432 (Why is no real title available?)
• Bitopological duality for distributive lattices and Heyting algebras
• Finite approximation of stably compact spaces
• scientific article; zbMATH DE number 1907156 (Why is no real title available?)
• Continuous domain theory in logical form
• scientific article; zbMATH DE number 7465766 (Why is no real title available?)
• scientific article; zbMATH DE number 5018569 (Why is no real title available?)
• scientific article; zbMATH DE number 6441618 (Why is no real title available?)
• 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
• A pair of monads in topology
• Vietoris endofunctor for closed relations and its de Vries dual

This page was built for publication: Stably compact spaces and closed relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917058)