ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Model Theory

دانلود کتاب تئوری مدل

Model Theory

مشخصات کتاب

Model Theory

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: Studies in Logic and the Foundations of Mathematics 
ISBN (شابک) : 0444880542, 9781435687004 
ناشر: Elsevier, Academic Press 
سال نشر: 1990 
تعداد صفحات: 667 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 مگابایت

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



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

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


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

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


توضیحاتی در مورد کتاب تئوری مدل

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


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

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.



فهرست مطالب

Content: Introduction. What is Model Theory? Model Theory for Sentential Logic. Languages, Models and Satisfaction. Theories and Examples of Theories. Elimination of Quantifiers. Models Constructed from Constants. Completeness and Compactness. Refinements of the Method. Omitting Types and Interpolation Theorems. Countable Models of Complete Theories. Recursively Saturated Models. Lindstrom\'s Characterization of First Order Logic. Further Model-Theoretic Constructions. Elementary Extensions and Elementary Chains. Applications of Elementary Chains. Skolem Functions and Indiscernibles. Some Examples. Model Completeness. Ultraproducts. The Fundamental Theorem. Measurable Cardinals. Regular Ultrapowers. Nonstandard Universes. Saturated and Special Models. Saturated and Special Models. Preservation Theorems. Applications of Special Models to the Theory of Definability. Applications to Field Theory. Application to Boolean Algebras. More About Ultraproducts and Generalizations. Ultraproducts Which are Saturated. Direct Products, Reduced Products, and Horn Sentences. Limit Ultrapowers and Complete Extensions. Iterated Ultrapowers. Selected Topics. Categoricity in Power. An Extension of Ramsey\'s Theorem and Applications
 Some Two-Cardinal Theorems. Models of Large Cardinality. Large Cardinals and the Constructible Universe. Appendices: Set Theory. Open Problems in Classical Model Theory. Historical Notes. References. Additional References.




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

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