Definable sets in Stone algebras

DOI10.1007/S00153-016-0491-XMaRDI QIDQ506969zbMATH OpenOpenAlexFDO

Authors Niandong Shi, Lei Chen, Guohua Wu

Publication date 2 February 2017

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-016-0491-x

zbMATH Keywords

connected subsetlattice-ordered structurepseudo o-minimalitypseudocomplemented latticeStone algebra

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Pseudocomplemented lattices (06D15)

Review text

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.

Recommendations

• Quantifier elimination for Stone algebras
• The structure of algebraically and existentially closed Stone and double Stone algebras
• The Model Companion of Stone Semilattices
• Definable sets in boolean ordered o-minimal structures. II
• A characterization of finite Stone pseudocomplemented ordered sets

Cites work

• Definable sets in boolean ordered o-minimal structures. II
• Definable sets in Boolean-ordered o-minimal structures. I
• Definable Sets in Ordered Structures. II
• Definable Sets in Ordered Structures. III
• scientific article; zbMATH DE number 3547283 (Why is no real title available?)
• Lattice ordered o-minimal structures
• On strongly minimal sets
• Small theories of Boolean ordered o-minimal structures

Cited in

(5)

• Quantifier elimination for Stone algebras
• Beth definability and the Stone-Weierstrass theorem
• The decidability of some classes of Stone algebras
• scientific article; zbMATH DE number 5063541 (Why is no real title available?)
• A new categorical equivalence for Stone algebras

This page was built for publication: Definable sets in Stone algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q506969)