دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Building Models by Games
دانلود کتاب مدل های ساختمانی توسط Games
مشخصات کتاب
Building Models by Games
ویرایش: 1
نویسندگان: Wilfrid Hodges
سری: London Mathematical Society Student Texts
ISBN (شابک) : 0521268974, 9780521268974
ناشر: Cambridge University Press
سال نشر: 1985
تعداد صفحات: 162
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب مدل های ساختمانی توسط Games: ترکیبیات، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات
در صورت تبدیل فایل کتاب Building Models by Games به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل های ساختمانی توسط Games نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل های ساختمانی توسط Games
این کتاب یک روش کلی برای ساختن ساختارهای بی نهایت ریاضی معرفی می کند و کاربردهای آن را در جبر و نظریه مدل بررسی می کند. ایده اصلی پشت این روش ساختن یک ساختار با رویه ای با مراحل بی نهایت زیاد است، شبیه به بازی بین دو بازیکن که به طور نامحدود ادامه می یابد. این رویکرد جدید است و به ساده‌سازی، ایجاد انگیزه و یکپارچه‌سازی طیف وسیعی از ساخت‌وسازهایی که قبلاً به‌طور جداگانه و با روش‌های موردی انجام شده‌اند، کمک می‌کند. فصل اول رزومه ای از نظریه مدل پایه ارائه می کند. طیف گسترده‌ای از کاربردهای جبری با تجزیه و تحلیل دقیق گروه‌های بسته وجودی کلاس 2 مورد مطالعه قرار گرفته‌اند. فصل دیگری شکل کلاسیک مدل-تئوری این روش ساخت را توصیف می‌کند، که به‌طور متفاوتی به عنوان «انواع حذف کردن»، «اجباری» یا «اجباری» شناخته می‌شود. قضیه هنکین-اوری سه فصل آخر تخصصی تر است و بحث می کند که چگونه می توان از همان ایده برای ساخت سازه های غیرقابل شمارش استفاده کرد. کاربردها شامل کامل بودن کمی سازهای Magidor-Malitz و قضیه جدید و پیچیده انواع حذف Shelah برای L(Q) است. همچنین کاربردهایی برای جبرهای Bdolean و مدل های حسابی وجود دارد.
توضیحاتی درمورد کتاب به خارجی
This book introduces a general method for building infinite mathematical structures, and surveys its applications in algebra and model theory. The basic idea behind the method is to build a structure by a procedure with infinitely many steps, similar to a game between two players that goes on indefinitely. The approach is new and helps to simplify, motivate and unify a wide range of constructions that were previously carried out separately and by ad hoc methods. The first chapter provides a resume of basic model theory. A wide variety of algebraic applications are studied, with detailed analyses of existentially closed groups of class 2. Another chapter describes the classical model-theoretic form of this method -of construction, which is known variously as 'omitting types', 'forcing' or the 'Henkin-Orey theorem'. The last three chapters are more specialised and discuss how the same idea can be used to build uncountable structures. Applications include completeness for Magidor-Malitz quantifiers, and Shelah's recent and sophisticated omitting types theorem for L(Q). There are also applications to Bdolean algebras and models of arithmetic.
