A direct proof of the Hofmann-Mislove theorem

@inproceedings{Keimel1994ADP,
  title={A direct proof of the Hofmann-Mislove theorem},
  author={Klaus Keimel and Jan Paseka},
  year={1994}
}
The Hofmann-Mislove Theorem has attracted increasing interest. Through this note we intend to make it easily accessible by a simple direct proof 

Citations

Publications citing this paper.
SHOWING 1-10 OF 29 CITATIONS

An Information-system Representation of the Smyth Powerdomain

  • WILLIAM C. ROUNDSAbstract
  • 1999
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Canonical extensions of locally compact frames

VIEW 5 EXCERPTS
HIGHLY INFLUENCED

A class of compact subsets for non-sober topological spaces

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Clause-logical Aspects of the Smyth Powerdomain

VIEW 2 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Stably Compact Spaces and Closed Relations

VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A Recipe for State-and-Effect Triangles

  • Bart Jacobs
  • Computer Science, Mathematics
  • Logical Methods in Computer Science
  • 2017
VIEW 1 EXCERPT
CITES METHODS

How regular can maxitive measures be

VIEW 3 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.