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