A Direct Proof of the Hofmann-Mislove Theorem (Q4281769)
From MaRDI portal
scientific article; zbMATH DE number 513079
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Direct Proof of the Hofmann-Mislove Theorem |
scientific article; zbMATH DE number 513079 |
Statements
7 April 1994
0 references
Scott-open filters
0 references
lattice of open subsets
0 references
sober topological space
0 references
A Direct Proof of the Hofmann-Mislove Theorem (English)
0 references
