دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
دانلود کتاب نقش تناهی واقعی در درجات قابل شمارش بازگشتی
مشخصات کتاب
The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
ویرایش:
نویسندگان: Noam Greenberg
سری: Memoirs of the American Mathematical Society, No. 854
ISBN (شابک) : 0821838857, 9780821838853
ناشر: American Mathematical Society
سال نشر: 2006
تعداد صفحات: 116
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب نقش تناهی واقعی در درجات قابل شمارش بازگشتی: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب The Role of True Finiteness in the Admissible Recursively Enumerable Degrees به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نقش تناهی واقعی در درجات قابل شمارش بازگشتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نقش تناهی واقعی در درجات قابل شمارش بازگشتی
هنگام تلاش برای تعمیم نظریه بازگشت به ترتیبی قابل قبول، ممکن است به نظر برسد که همه ساختارهای اولویت کلاسیک را می توان به هر ترتیبی قابل قبولی که بخش به اندازه کافی قوی از طرح جایگزینی را برآورده می کند، ارتقا داد. با این حال، نشان می‌دهیم که همیشه اینطور نیست. در واقع، برخی ساختارها وجود دارند که از مفهوم متناهی استفاده اساسی می کنند که نمی توان آن را با مفهوم تعمیم یافته $\\alpha$-finiteness جایگزین کرد. به عنوان مثال، هم کدگذاری مدل‌های حسابی به درجات برگشتی قابل شمارش و هم تعبیه‌های شبکه غیر توزیعی در این درجات را مورد بحث قرار می‌دهیم. نشان می‌دهیم که اگر یک ترتیبی قابل قبول $\\alpha$ به طور موثر نزدیک به $\\omega$ باشد (که این نزدیکی می‌تواند با اندازه یا محدودیت اندازه گیری شود) سپس چنین ساختارهایی ممکن است در $\\alpha$-r.e انجام شود. درجه، اما در غیر این صورت شکست می خورند. نتایج این ساختارها را می توان به زبان مرتبه اول مجموعه های جزئی مرتب شده بیان کرد و بنابراین این نتایج همچنین نشان می دهد که بین ساختارهای $\\alpha$-r.e تفاوت های ابتدایی طبیعی وجود دارد. درجه برای کلاس های مختلف ترتیبات قابل قبول $\\alpha$. همراه با کار کدگذاری که نشان می دهد برای برخی از $\\alpha$، نظریه $\\alpha$-r.e. درجه پیچیده است، ما دریافتیم که برای هر ترتیبی قابل قبول $\\alpha$، $\\alpha$-r.e. درجه و کلاسیک r.e. درجه ها اصولاً معادل نیستند.
توضیحاتی درمورد کتاب به خارجی
When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible ordinal satisfying a sufficiently strong fragment of the replacement scheme. We show, however, that this is not always the case. In fact, there are some constructions which make an essential use of the notion of finiteness which cannot be replaced by the generalized notion of $\alpha$-finiteness. As examples we discuss both codings of models of arithmetic into the recursively enumerable degrees, and non-distributive lattice embeddings into these degrees.We show that if an admissible ordinal $\alpha$ is effectively close to $\omega$ (where this closeness can be measured by size or by confinality) then such constructions may be performed in the $\alpha$-r.e. degrees, but otherwise they fail. The results of these constructions can be expressed in the first-order language of partially ordered sets, and so these results also show that there are natural elementary differences between the structures of $\alpha$-r.e. degrees for various classes of admissible ordinals $\alpha$. Together with coding work which shows that for some $\alpha$, the theory of the $\alpha$-r.e. degrees is complicated, we get that for every admissible ordinal $\alpha$, the $\alpha$-r.e. degrees and the classical r.e. degrees are not elementarily equivalent.
