Lei Chen, Niandong Shi and Guohua Wu introduced the notion of pseudo o-minimality for stone algebras. They then described definable sets in stone algebras using P.H Schmitt’s result for model completion and quantifier elimination, and proved that an extension of the theory of stone algebras is Pseudo o−minimal. In this paper we investigate pseudo o-minimality in double stone algebras using Dav

SADEGH EIVAZLOO JAFAR Faculty of Mathematics,statistics and computer science, University of tabriz, , JAHANIAN FARHAD Faculty of Mathematics,statistics and computer science, University of tabriz