مشخصات کتاب

Lectures on Infinitary Model Theory

ویرایش: 1 
نویسندگان: David Marker  
سری: Lecture Notes in Logic 
ISBN (شابک) : 1107181933, 9781107181939 
ناشر: Cambridge University Press 
سال نشر: 2016 
تعداد صفحات: 193 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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

در صورت تبدیل فایل کتاب Lectures on Infinitary Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخنرانی ها در مورد نظریه مدل بینهایت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سخنرانی ها در مورد نظریه مدل بینهایت

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

توضیحاتی درمورد کتاب به خارجی

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalbán's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory.

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

کتاب های تصادفی

دانلود کتاب Glaucoma Update IV

دانلود کتاب Die Syphilis des Zentralnervensystems: Ihre Ursachen und Behandlung

دانلود کتاب Jacob’s Ladder: Essays on Experiences of the Ineffable in the Context of Contemporary Psychotherapy

دانلود کتاب Programming the Raspberry Pi Getting Started with Python

دانلود کتاب Lettera ai Romani. Introduzione, versione, commento. Rm 1-5