ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

دانلود کتاب نقش تناهی واقعی در درجات قابل شمارش بازگشتی

The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

مشخصات کتاب

The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

ویرایش:  
نویسندگان:   
سری: Memoirs of the American Mathematical Society, No. 854 
ISBN (شابک) : 0821838857, 9780821838853 
ناشر: American Mathematical Society 
سال نشر: 2006 
تعداد صفحات: 116 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

قیمت کتاب (تومان) : 34,000



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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب 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.





نظرات کاربران