{"id":"arxiv/2608.26084","url":"https://arxiv.org/abs/2608.26084","tags":["math.LO","math.CT"],"score":0,"title":"Localic Esakia Duality via Conic Frames","domain":"math.LO","source":"arxiv","authors":["Nesta van der Schaaf"],"reviews":0,"subject":"math.LO","summary":"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 spectrum, a choice principle that is not constructively valid. We build on Townsend's localic Priestley duality to describe a fully constructive, localic Esakia duality. On the algebraic side, we use the recently introduced Heyting frames as the point-free version of Heyting algebras. On the spatial side, Esakia spaces are modeled by two point-free alternatives. First, Esakia locales are defined as a subclass of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}