Pseudo o-Minimality for Double Stone Algebras

نویسندگان
Jahanian, Farhad ID 1
Eivazloo, Jafar Sadegh ID 2

1 Faculty of Mathematics, statistics and computer science, University of tabriz, Iran

2 Faculty of Mathematics, statistics and computer science, University of tabriz, Tabriz, Iran

doi
10.22052/mir.2022.248328.1374
چکیده

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.

کلیدواژه‌ها
Double Stone algebra, Definable set, Quantifier elimination, Pseudo o-minimality