{"id":"arxiv/2606.03861","url":"https://arxiv.org/abs/2606.03861","tags":["math.LO","math.CT"],"score":0,"title":"A topos for étale-finite Heyting algebras","domain":"math.LO","source":"arxiv","authors":["Marco Abbadini","Rodrigo Nicolau Almeida","Igor Arrieta"],"reviews":0,"subject":"math.LO","summary":"A longstanding open problem is whether every Heyting algebra is the lattice of truth values (i.e., of subterminal objects) of some elementary topos. A positive answer is known for complete Heyting algebras (i.e., locales) via sheaves, and for Boolean algebras via a construction due to Peter Freyd. We extend Freyd's construction to all étale-finite Heyting algebras, in the sense of Evgeny Kuznetsov. These are the Heyting algebras satisfying a generalisation of the law of excluded middle relative to some finite Heyting subalgebra. For every étale-finite Heyting algebra $H$, we use Esakia…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}