NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
چاپی - الکترونیکی
DISSERTATION (THESIS) NOTE
Dissertation or thesis details and type of degree
کارشناسی ارشد
Discipline of degree
ریاضی محض گرایش جبر(منطق)
Date of degree
۱۳۹۸/۱۰/۱۵
Body granting the degree
تبریز
SUMMARY OR ABSTRACT
Text of Note
در این پایاننامه که بر اساس مقالهای از Chen, L., Shi,N., and Wu,G., Definble sets in Stone algebras,Arch. Math. Logic ۵۵, ۷۴۹ ۷۵۷(۲۰۱۶) نوشته مشود، مجموعههای تعریف پذیر در مدل کامل نظریه جبرهای استون مورد بررس و مطالعه قرار مگیرند .ی جبر استون ی لاتیس پخش شبه-متمم است که در اصل( xx = ۱ کهx شبه-متممx م باشد) صدق مکند .در سال ۱۹۷۹،پیتر اشمیت مدل کاملSTA از نظریه جبرهای استون را مشخص کرد و ثابت کرد که آن دارای خاصیت حذف سور است .زیرمجموعهA از بسط از ی لاتیس همبند قوی گفته مشود هرگاه برای هرx, y A داشته باشیم
Text of Note
In the paper Chen, L., Shi, N., and Wu, G. Definble sets in Stone algebras,Arch. Math. Logic,v.55(2016),pp.749-757, which this dissertation is based on, the authors investigate the definable subsets of Stone algebras, introduce the notion of pseudo o-minimality of partially ordered structures, and prove that the completion of the theory of Stone algebras is pseudo o-minimal. They also give the decomposition theorem of Stone algebras