شماره ركورد كنفرانس :
5440
عنوان مقاله :
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
كليدواژه :
Double stone algebra , Definable set , Quantifier elimination , Pseudo ominimality.
عنوان كنفرانس :
بيست و هفتمين سمينار جبر ايران
