论文信息 - On the Duality of Compact vs. Open

On the Duality of Compact vs. Open

It is a pleasant fact that Stone‐duality may be described very smoothly when restricted to the category of compact spectral spaces: The Stone‐duals of these spaces, arithmetic algebraic lattices, may be replaced by their sublattices of compact elements thus discarding infinitary operations.

Philipp Sünderhauf | Achim Jung | A. Jung | Philipp Sünderhauf

[1] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .

[2] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.

[3] L. Nachbin. Topology and order , 1965 .

[4] Editors , 1986, Brain Research Bulletin.

[5] M. Stone. The theory of representations for Boolean algebras , 1936 .

[6] J. D. Lawson,et al. Order and strongly sober compactifications , 1991 .

[7] M. B. Smyth,et al. Stable compactification I , 1992 .

[8] Jimmie D. Lawson. The Versatile Continuous Order , 1987, MFPS.

[9] Michael B. Smyth,et al. Effectively given Domains , 1977, Theor. Comput. Sci..

[10] Michael W. Mislove,et al. Local compactness and continuous lattices , 1981 .

[11] Jan Paseka,et al. A direct proof of the Hofmann-Mislove theorem , 1994 .

[12] M. Stone,et al. The Theory of Representation for Boolean Algebras , 1936 .

[13] Michael B. Smyth,et al. Finite Approximation of Spaces , 1985, CTCS.

[14] Klaus Keimel,et al. Continuous ideal completions and compactifications , 1981 .

[15] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .