ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Henkin-Keisler Models

دانلود کتاب Henkin-Keisler Models

Henkin-Keisler Models

مشخصات کتاب

Henkin-Keisler Models

ویرایش: 1 
نویسندگان:   
سری: Mathematics and Its Applications 
ISBN (شابک) : 0792343662, 9780792343660 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 251 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



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

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


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





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

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