Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



A direct proof of the Hofmann-Mislove theorem

Authors: Klaus Keimel and Jan Paseka
Journal: Proc. Amer. Math. Soc. 120 (1994), 301-303
MSC: Primary 54D30; Secondary 54D10
MathSciNet review: 1195723
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [1] G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, A compendium of continuous lattices, Springer-Verlag, Berlin, 1980. MR 614752 (82h:06005)
  • [2] 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.
  • [3] S. J. Vickers, Topology via logic, Cambridge Univ. Press, Cambridge, 1989. MR 1002193 (90j:03110)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 54D30, 54D10

Retrieve articles in all journals with MSC: 54D30, 54D10

Additional Information

Keywords: Hofmann-Mislove Theorem, Scott-open filters
Article copyright: © Copyright 1994 American Mathematical Society