{"id":"arxiv/2606.19506","url":"https://arxiv.org/abs/2606.19506","tags":["math.LO"],"score":0,"title":"Distributive lattices in o-minimal structures","domain":"math.LO","source":"arxiv","authors":["Zoltan A. Kocsis"],"reviews":0,"subject":"math.LO","summary":"We investigate distributive lattices and Heyting algebras definable in o-minimal structures. We give a complete description of one-dimensional distributive lattices definable in o-minimal structures expanding a real-closed field, and prove a definable analogue of Birkhoff representation. As applications, we obtain a sharp lower bound on the dimension of definable Heyting algebras which contain infinite free subalgebras, and determine all one-variable equations in the language of Heyting algebras whose solution set can constitute a maximal-dimension proper subset of an infinite algebra.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-17","reactions":{}}