A direct proof of the Hofmann-Mislove theorem
HTML articles powered by AMS MathViewer
- by Klaus Keimel and Jan Paseka PDF
- Proc. Amer. Math. Soc. 120 (1994), 301-303 Request permission
Abstract:
The Hofmann-Mislove Theorem has attracted increasing interest. Through this note we intend to make it easily accessible by a simple direct proof.References
- Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, and Dana S. Scott, A compendium of continuous lattices, Springer-Verlag, Berlin-New York, 1980. MR 614752 K. H. Hofmann and M. Mislove, Local compactness and continuous lattices, Continuous Lattices (Proceedings, Bremen, 1979) (B. Banaschewski and R.-E. Hoffman, eds.), Springer-Verlag, Berlin, 1981, pp. 209-248.
- Steven Vickers, Topology via logic, Cambridge Tracts in Theoretical Computer Science, vol. 5, Cambridge University Press, Cambridge, 1989. MR 1002193
Additional Information
- © Copyright 1994 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 120 (1994), 301-303
- MSC: Primary 54D30; Secondary 54D10
- DOI: https://doi.org/10.1090/S0002-9939-1994-1195723-0
- MathSciNet review: 1195723