Pseudo o-Minimality for Double Stone Algebras

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.