Definable sets in Stone algebras
type: Item
instance of: scholarly article
title: Definable sets in Stone algebras
zbMATH Open document ID: 1359.03031
author: Niandong Shi
author: Lei Chen
author: Guohua Wu
published in: Archive for Mathematical Logic
publication date: 2017-02-02T00:00:00Z
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.
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 06D15
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 6680069
zbMATH Keywords: pseudo o-minimality
zbMATH Keywords: Stone algebra
zbMATH Keywords: pseudocomplemented lattice
zbMATH Keywords: lattice-ordered structure
zbMATH Keywords: connected subset
reviewed by: B. Sh. Kulpeshov
MaRDI profile type: Publication
full work available at URL: s00153-016-0491-x
OpenAlex ID: W2475098708
cites work: On strongly minimal sets
cites work: Lattice ordered o-minimal structures
cites work: Definable Sets in Ordered Structures. III
cites work: Definable Sets in Ordered Structures. II
cites work: Definable sets in Boolean-ordered o-minimal structures. I
cites work: Definable sets in boolean ordered o-minimal structures. II
cites work: Small theories of Boolean ordered o-minimal structures
cites work: Q4121893
DOI: 10.1007/S00153-016-0491-X
description: scientific article; zbMATH DE number 6680069