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

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

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

گراف رده ای g که با (??(g نمایش داده می شود، تعریف می کنیم. یک شرط لازم برای اینکه به ازای هر سه رأس از گراف (??(g برای یک گروه حل پذیر g، حداقل دو رأس از آنها به هم متصل می باشند. گروه های ?-تفکیک پذیر رده ای را رده بندی می کنیم.

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

فرض کنید r یک توسیع به طور تعریف پذیر کامل (یعنی فاقد شکاف ددکیند تعریف پذیر) از یک گروه مرتب چگال (r,<,*) باشد که در خاصیت تناهی یکنواخت صدق می کند (یعنی هر خانواده‎ی تعریف پذیر از زیرمجموعه های متناهی دارای یک کران بالای متناهی برای تعداد اعضای زیرمجموعه‎ها می باشد). در این صورت هسته باز r ت-کمینه است. در ادامه دو رده از ساختارهایی که ت-کمینه نیستند اما هسته باز ت - کمینه دارند مورد بحث قرا...

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

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

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

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