@misc{bezhanishvili2022hofmann,
  title={Hofmann-Mislove through the Lenses of Priestley},
  author={G. Bezhanishvili and S. Melzer},
  year={2022},
  eprint={2205.10891},
  archivePrefix={arXiv},
  primaryClass={math.LO},
  doi={10.1007/s00233-022-10311-4},
  url={https://arxiv.org/abs/2205.10891}
}