میدان های بسته حقیقی و مدل های حساب پئانو

پایان نامه
چکیده

زیرحلقه مرتب گسسته ‎i‎ از میدان بسته حقیقی ‎r‎ یک بخش صحیح برای ‎r‎ گفته می شود هرگاه برای هر x در r‎ عضو ‎i در i‎ موجود باشد که ‎i < x < i+1‎. در حدود نیم قرن پیش شفردسون نشان داد که یک حلقه مرتب گسسته ‎i‎ یک بخش صحیح برای یک میدان مرتب بسته حقیقی ‎r‎ است اگر و تنها اگر ‎i‎ یک مدل استقرای باز باشد. در مقاله ای که این پایان نامه بر اساس آن نوشته می شود، نشان داده شده است که اگر بخش صحیح ‎i‎ برای ‎r‎ یک مدل نااستاندارد ‎pa‎ باشد، آن گاه ‎r‎ به طور بازگشتی اشباع است. همچنین عکس نسبی آن نیز اثبات می شود: هر میدان مرتب بسته حقیقی شمارای به طور بازگشتی اشباع دارای یک بخش صحیح ‎i‎ است به طوری که یک مدل نااستاندارد ‎pa‎ می باشد و ‎r‎ بستار حقیقی آن است.

منابع مشابه

حساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی

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

متن کامل

مدل های نااستاندارد تعریف پذیر در حساب پئانو

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

15 صفحه اول

مدل مدیریت ریسک حساب های دریافتنی

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

متن کامل

وجود مدلهای ضعیف حساب در میدانهای بسته حقیقی ناارشمیدسی

هر زیر حلقه گسسته یک میدان مرتب که هر عضو میدان را با خطای کمتر از واحد (به طور معادل با خطای متناهی) تقریب می زند یک جزء صحیح آن میدان نامیده می شود. جزء صحیحهای میدانهای بسته حقیقی بنا به قضیه شفردسون دقیقا مدلهای زیر نظریه ای از حساب پئانو می باشند که استقراء را به فرمولهای خالی از سور محدود می نماید. مدل استاندارد حساب (حلقه اعداد صحیح) یک (و تنها) حزء صحیح هر مدل ارشمیدسی نظریه کامل میدانه...

15 صفحه اول

موضعا پئانو بودن مدلهای کریپکی خاص برای حساب شهودگرایانه

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

15 صفحه اول

ملاحظاتی در حساب دقیق حقیقی

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

15 صفحه اول

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023