Localic Esakia Duality via Conic Frames

Nesta van der Schaaf

Esakia duality is the dual equivalence between Heyting algebras and Esakia spaces. However, the traditional proof uses the Prime Ideal Theorem to recover the algebra from its spect…