# Hofmann-Mislove through the Lenses of Priestley

**Authors:** G. Bezhanishvili, S. Melzer  
**arXiv:** [2205.10891](https://arxiv.org/abs/2205.10891)  
**Date:** 2022-05-22  
**Summary page:** https://www.summarizepaper.com/fr/paper/2205.10891v1/

## Abstract

We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem.