دانلود کتاب Henkin-Keisler Models
49,000 تومان
بازپرداخت – سبک سر حتی ls
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer |
| تعداد صفحه | 251 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 0792343662,9780792343660 |
| نوبت چاپ | 1 |
| نویسنده | George Weaver |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
بازپرداخت – سبک سر حتی ls
مدلهای هنکین-کیسلر از اصلاح ساختار هنکین که توسط کیسلر برای ایجاد انگیزه در تعریف فرامحصولات معرفی شده است، سرچشمه میگیرد. کیسلر ساختار هنکین را در آن نقطه ای که ثابت های فردی «جدید» معرفی می شوند، اصلاح کرد و این کار را به گونه ای انجام داد که ارتباط بین مدل های هنکین-کیسلر و فرامحصولات را روشن کند. ساخت و ساز به دست آمده را می توان هم به عنوان تخصصی ساخت هنکین و هم به عنوان جایگزینی برای ساخت فرامحصول در نظر گرفت. این جنبههای ساخت هنکین-کیسلر در اینجا برای ارائه دیدگاهی در مورد فرامحصولات و کاربردهای آنها مورد استفاده قرار میگیرند که برای خواننده آشنا با اثبات کامل بودن منطق مرتبه اول و نظریه مجموعه سادهلوحانه هنکین قابل دسترسی است. این رویکرد در اثبات اشکال مختلف خصوصیات کیسلر-شله از معادلسازی ابتدایی و کلاسهای ابتدایی از طریق مدلهای هنکین-کیسلر به اوج خود میرسد. این ارائه مستقل است و در صورت نیاز، شواهدی از نتایج پیشرفتهتر از نظریه مجموعهها ارائه میشود. مخاطب: منطق دانان در فلسفه، علوم کامپیوتر، زبان شناسی و ریاضیات.
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.