کتاب الکترونیکی

بازپرداخت – سبک سر حتی ls

Henkin-Keisler Models

دانلود کتاب Henkin-Keisler Models (به فارسی: بازپرداخت – سبک سر حتی ls) نوشته شده توسط «George Weaver»

اطلاعات کتاب بازپرداخت – سبک سر حتی ls

موضوع اصلی: 1

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: George Weaver

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1997

تعداد صفحه: 251

حجم کتاب: 6 مگابایت

کد کتاب: 0792343662 , 9780792343660

نوبت چاپ: 1

توضیحات کتاب بازپرداخت – سبک سر حتی ls

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

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.

دانلود کتاب «بازپرداخت – سبک سر حتی ls»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان