مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی ...

در این پایان نامه، ابتدا ثابت میکنیم تحت(zfc) در زبانی که برای هر رابطه روی rشامل یک نمادرابطه ای ا ست، یک توسیع شمارای آکنده تعریف پذیر *rازrوجود دارد. بدین منظور ابتدا مجموعهa شامل فرافیلترهای غیر اصلی n را مرتب میکنیم. سپس یک فرافیلتر d میسازیم که از آن برای ساخت یک فراتوان از r استفاده میشود. همچنین برای ساختن یک زنجیره استقرایی از توسیع های مقدماتی بکار میرود که، ساختارگام های اردینال...

در این پایان نامه که بر مبنای مقاله ای از آپولونیوس تیشکا نوشته شده است، یک طبقه بندی از نوع حسابی از اعضای یک میدان که در زبان مرتبه اول حلقه ها تعریف پذیر بدون پارامتر وجودی می باشند، ارایه می شود. به عنوان کاربردی از این مطلب نشان داده می شود که در میدان های شامل یک زیرمیدان بسته جبری تنها اعضای میدان اولیه 0-تعریف پذیر وجودی هستند. از سوی دیگر، توسیع هایی از q که با توسیع متناهی هستند شامل...

نظریه مجموعه های راف در سال $1982$ توسط پاولاک ltrfootnote{pawlak} معرفی شد cite{pawlak}. تاکنون انواع مختلفی از تعمیم های مجموعه های راف از جمله مجموعه های تعریف پذیر خارجی ارائه شده است cite{chem}. اخیرا نوع جدیدی از مجموعه های راف تعمیم یافته به نام مجموعه های تعریف پذیر شبه خارجی معرفی و برخی از ویژگی های مهم آنها بررسی شده است cite{chem,jinjin li}. همچنین با استفاده از تقریب های...

در این پاین نامه نظریه های ت-کمینه ی ضعیف و چگونگی ارتباط آنها با نظریه های ترتیبی عمومی که به طور تعریف پذیر کامل نیستند مورد مطالعه قرار می گیرد.ابتدا شرایطی فراهم میشود که تحت آن شرایط خواص توپولوژیکی مجموعه های تعریف پذیر در ساختارهای ت-کمینه ضعیف بازتاب همان خواص در ساختارهای ت-کمینه باشند.سپس در مرتبه دوم نتایجی حاصل میشوند که نشان میدهند نظریه های ت-کمینه ی ضعیف خوش رفتارترین نظریه های ت...

در این پایان نامه که بر مبنای مقالات [hieronymi] و [miller] نوشته شده است، ابتدا به بررسی ویژگی های تعریف پذیر بسط های به طور تعریف پذیر کامل از ترتیب های خطی چگال فاقد نقاط ابتدایی و انتهایی پرداخته می شود. سپس نشان داده می شود که اگر چنین بسط هایی ساختار گروهی داشته باشند، آن گاه هر زیرگروه تعریف پذیر سره در آن ها چگال و متمم-چگال است، یا گسسته بوده و برای ساختار اصلی یک بخش صحیح می باشد. همچ...

چکیده در این پایان نامه به معرفی منطق پیوسته و ساختارهای متریک پرداخته و سپس با در نظر گرفتن فضاهای هیلبرت به عنوان ساختارهای متریک، تئوری این فضاها را از دید منطق پیوسته مورد مطالعه قرار می دهیم. هدف اصلی بررسی تعریف پذیری در این تئوری می باشد. نشان خواهیم داد عملگرهای خطی تعریف پذیر روی فضاهای هیلبرت به صورت عملگرهای اسکالر به علاوه فشرده هستند. همچنین توصیف عملگرهای تعریف پذیر نتایج بیشتری ...

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.

یک ساختار مرتبه اول ‎$ cal m $‎ که بسطی از یک ترتیب خطی چگال بدون ابتدا و انتها می باشد، ت -کمینه (به ترتیب، ت-کمینه ضعیف) گفته می شود، هرگاه هر زیرمجموعه از ‎$ m $‎، که در ‎$cal{m}$‎ تعریف پذیر است، برابر اجتماعی متناهی از بازه های باز و نقاط (به ترتیب، مجموعه های محدب و نقاط) باشد. با توجه به این که ساختارهای ت -کمینه ضعیف از خاصیت به طور تعریف پذیر کامل بودن، برخوردار نیستند، بسیاری از ...

در نظریه ی مدل اصلی ترین و مهمترین کار در بررسی ساختارها، مشخص کردن زیرمجموعه های تعریف پذیر و توابع تعریف پذیر در آن ساختارها می باشد. مشخص کردن زیرمجموعه ها و توابع تعریف پذیر راه مطالعه ی این ساختارها را هموار خواهد کرد. در این پایان نامه سعی شده زیر مجموعه ها و توابع تعریف پذیر در زوج های چگال از ساختارهای ت-کمینه مشخص شوند.(یک ساختار را ت-کمینه می نامیم هرگاه زیر مجموعه های تعریف پذیر آن ...