Stable Compactification I
Motivated by problems in the theory of computation, the author studies \(T_ 0\) quasi-proximity spaces and their bicompletions (= stable compactifications). Methods from lattice theory are used throughout this interesting paper whenever they are appropriate. It is now widely recognized that the theory of stable compactifications (and quasi-proximities) extends and deepens the classical theory of Hausdorff compactifications (and proximities) in an essential way. For two related studies stressing some further aspects of that important theory we refer the reader to (1) the reviewer and \textit{G. C. L. Brümmer} [Math. Proc. Camb. Philos. Soc. 101, 237-247 (1986; Zbl 0618.54024)] and (2) \textit{J. D. Lawson} [Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 179-205 (1991; Zbl 0745.54012)].
- Topologies on totally ordered sets
- Properly injective spaces and function spaces
- The way-below relation of function spaces over semantic domains
- Information categories
- Algebraic theories of compact pospaces
- Continuity spaces: Reconciling domains and metric spaces
- Entailment systems for stably locally compact locales
- Proximity biframes and Nachbin spaces
- Extension of valuations on locally compact sober spaces
- Asymmetry and duality in topology
- Short notes on quasi-uniform spaces. I: Uniform local symmetry
- Proximity frames and regularization.
- Separated and prime compactifications
- Modal operators on compact regular frames and de Vries algebras.
- Remarks on the Stone-Čech and Alexandroff compactifications of locales
- Relation lifting, a survey
- Stably compact spaces
- Bitopological duality for distributive lattices and Heyting algebras
- Yet another patch construction for continuous frames and connections to the Fell compactification
- scientific article; zbMATH DE number 17701 (Why is no real title available?)
- Hausdorff completions of quasi-uniform spaces
- scientific article; zbMATH DE number 1154167 (Why is no real title available?)
- Stably compact spaces and closed relations
- Continuous domain theory in logical form
- scientific article; zbMATH DE number 6308021 (Why is no real title available?)
- Predicative theories of continuous lattices
- scientific article; zbMATH DE number 7465766 (Why is no real title available?)
- The Fell compactification of a poset
- On Kan-injectivity of locales and spaces
- A bitopological point-free approach to compactifications
- The regular-locally compact coreflection of a stably locally compact locale
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
- Subordinations on bounded distributive lattices
- On open maps and related functions over the Salbany compactification
- Representable and diagonally representable weakening relation algebras
- The patch construction is dual to algebraic DCPO representation
- Order-preserving reflectors and injectivity
- Duality and canonical extensions for stably compact spaces
- Stone duality for relations
- Continuous domains for function spaces using spectral compactification
- A spectral-like duality for join-proximity distributive lattices
- Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality
This page was built for publication: Stable Compactification I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4024899)
