Definable sets in Stone algebras

DOI10.1007/S00153-016-0491-XzbMATH Open1359.03031OpenAlexW2475098708MaRDI QIDQ506969FDOQ506969

Guohua Wu, Lei Chen, Niandong Shi

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

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

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)

Cites Work

• On strongly minimal sets
• Definable Sets in Ordered Structures. III
• Definable Sets in Ordered Structures. II
• Title not available (Why is that?)
• Definable sets in Boolean-ordered o-minimal structures. I
• Small theories of Boolean ordered o-minimal structures
• Definable sets in boolean ordered o-minimal structures. II
• Lattice ordered o-minimal structures

Cited In (4)

• The decidability of some classes of Stone algebras
• Quantifier elimination for Stone algebras
• Beth definability and the Stone-Weierstrass theorem
• Title not available (Why is that?)

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)