دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Henkin-Keisler models
دانلود کتاب Henkin-Keisler models
مشخصات کتاب
Henkin-Keisler models
ویرایش:
نویسندگان: George Weaver
سری: Mathematics and its applications (Kluwer Academic Publishers), v. 392
ISBN (شابک) : 0585288445, 9780585288444
ناشر: Kluwer Academic
سال نشر: 1997
تعداد صفحات: 251
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 56,000
در صورت تبدیل فایل کتاب Henkin-Keisler models به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Henkin-Keisler models نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Henkin-Keisler models
مدل‌های هنکین-کیسلر از اصلاح ساختار هنکین که توسط کیسلر برای ایجاد انگیزه در تعریف فرامحصولات معرفی شده است، سرچشمه می‌گیرد. کیسلر ساختار هنکین را در آن نقطه ای که ثابت های فردی «جدید» معرفی می شوند، اصلاح کرد و این کار را به گونه ای انجام داد که ارتباط بین مدل های هنکین-کیسلر و فرامحصولات را روشن کند. ساخت و ساز به دست آمده را می توان هم به عنوان تخصصی ساخت هنکین و هم به عنوان جایگزینی برای ساخت فرامحصول در نظر گرفت. این جنبه‌های ساخت هنکین-کیسلر در اینجا برای ارائه دیدگاهی در مورد فرامحصولات و کاربردهای آن‌ها مورد استفاده قرار می‌گیرند که برای خواننده آشنا با اثبات کامل بودن منطق مرتبه اول و نظریه مجموعه‌های ساده‌لوح هنکین قابل دسترسی است. این رویکرد در اثبات اشکال مختلف خصوصیات کیسلر-شله از معادل سازی ابتدایی و کلاس های ابتدایی از طریق مدل های هنکین-کیسلر به اوج خود می رسد. این ارائه مستقل است و در صورت نیاز، شواهدی از نتایج پیشرفته‌تر از نظریه مجموعه‌ها ارائه می‌شود. مخاطب: منطق دانان در فلسفه، علوم کامپیوتر، زبان شناسی و ریاضیات.
توضیحاتی درمورد کتاب به خارجی
Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which `new' individual constants are introduced and did so in a way that illuminates a connection between Henkin-Keisler models and ultraproducts. The resulting construction can be viewed both as a specialization of the Henkin construction and as an alternative to the ultraproduct construction. These aspects of the Henkin-Keisler construction are utilized here to present a perspective on ultraproducts and their applications accessible to the reader familiar with Henkin's proof of the completeness of first order logic and naive set theory. This approach culminates in proofs of various forms of the Keisler-Shelah characterizations of elementary equivalence and elementary classes via Henkin-Keisler models. The presentation is self-contained and proofs of more advanced results from set theory are introduced as needed. Audience: Logicians in philosophy, computer science, linguistics and mathematics.
