Pseudo o-Minimality for Double Stone Algebras

Abstract

Pseudo o-minimality is a generalization of o-minimality of linear orders to partial orders. Recently Lei Chen, Niandong Shi and Guohua Wu provided pseudo o-minimality for the class of Stone algebras. In this note we use quantifier elimination property to show that the class of double Stone algebras is pseudo o-minimal in their expanded language.

Keywords

• double stone algebra
• definable set
• quantifier elimination
• pseudo o-minimality