Definable sets in Stone algebras

作者:Chen, Lei; Shi, Niandong*; Wu, Guohua
来源:Archive for Mathematical Logic, 2016, 55(5-6): 749-757.
DOI:10.1007/s00153-016-0491-x

摘要

We investigate the definable subsets of Stone algebras, introduce the notion of pseudo o-minimality of partially ordered structures, and prove that the completion of the theory of Stone algebras is pseudo o-minimal. We also give the decomposition theorem of Stone algebras.

全文