Definable sets in Stone algebras
The paper deals with definable sets of Stone algebras. The authors introduce the notion of pseudo o-minimality of a lattice-ordered structure and prove that the completion of the theory of Stone algebras is pseudo o-minimal. Thy also investigate the decomposition of Stone algebras and prove that any definable set of a Stone algebra is a union of finitely many disjoint pseudo intervals.
scientific article; zbMATH DE number 6680069