Hofmann-Mislove through the Lenses of Priestley
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910285805125632 |
|---|---|
| author | Bezhanishvili, G. Melzer, S. |
| author_facet | Bezhanishvili, G. Melzer, S. |
| contents | We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2205_10891 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Hofmann-Mislove through the Lenses of Priestley Bezhanishvili, G. Melzer, S. Logic General Topology 18F70, 06D22 We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem. |
| title | Hofmann-Mislove through the Lenses of Priestley |
| topic | Logic General Topology 18F70, 06D22 |
| url | https://arxiv.org/abs/2205.10891 |