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

Stone algebraconnected subsetlattice-ordered structurepseudo o-minimalitypseudocomplemented lattice

Mathematics Subject Classification ID

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

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

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

Cited in

(5)

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

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)