lei chen, niandong shi and guohua wu introduced the notion of pseudo o-minimality forstone algebras. they then described definable sets in stone algebras using p.h schmitt’s resultfor model completion and quantifier elimination, and proved that an extension of the theoryof stone algebras is pseudo o−minimal. in this paper we investigate pseudo o-minimality indouble stone algebras using david m. clark results and prove that the theory of double stonealgebras dbs is pseudo o-minimal.

Fa | Ar | En

lei chen, niandong shi and guohua wu introduced the notion of pseudo o-minimality forstone algebras. they then described definable sets in stone algebras using p.h schmitt’s resultfor model completion and quantifier elimination, and proved that an extension of the theoryof stone algebras is pseudo o−minimal. in this paper we investigate pseudo o-minimality indouble stone algebras using david m. clark results and prove that the theory of double stonealgebras dbs is pseudo o-minimal.


نویسنده	sadegh eivazloo jafar ,jahanian farhad
منبع	بيست و هفتمين سمينار جبر ايران - 1400 - دوره : 2 - بیست و هفتمین سمینار جبر ایران - کد همایش: 00220-76842 - صفحه:0 -0

کلیدواژه	double stone algebra ,definable set ,quantifier elimination ,pseudo ominimality.
آدرس	, iran, , iran