Hofmann-Mislove through the Lenses of Priestley
Logic
2024-01-04 v2 General Topology
Abstract
We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem.
Cite
@article{arxiv.2205.10891,
title = {Hofmann-Mislove through the Lenses of Priestley},
author = {G. Bezhanishvili and S. Melzer},
journal= {arXiv preprint arXiv:2205.10891},
year = {2024}
}