دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Finite Structure and Iteration Trees
دانلود کتاب درختان ساختار محدود و تکرار
مشخصات کتاب
Finite Structure and Iteration Trees
ویرایش: نویسندگان: William J. Mitchell, John R. Steel سری: Lecture Notes in Logic 3 ISBN (شابک) : 9781316718315 ناشر: Cambridge University Press سال نشر: 2017 تعداد صفحات: 138 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Finite Structure and Iteration Trees به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب درختان ساختار محدود و تکرار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب درختان ساختار محدود و تکرار
از زمان پیدایش، مجموعه‌های دیدگاه‌های منطق و یادداشت‌های سخنرانی در منطق، آثار مهمی از منطق‌دانان برجسته منتشر کرده‌اند. بسیاری از کتاب‌های اصلی این مجموعه سال‌هاست که در دسترس نبوده‌اند، اما اکنون دوباره چاپ می‌شوند. در این جلد، سومین انتشارات در مجموعه یادداشت‌های سخنرانی در منطق، میچل و استیل یک مدل داخلی با کاردینال وودین می‌سازند و نظریه ساختار ظریف آن را توسعه می‌دهند. این کار بر اساس نظریه موجود مدلی به شکل L[E]، که در آن E دنباله ای منسجم از توسعه دهنده ها است، و بر نظریه ساختار ظریف مدل های L[E] با کاردینال های قوی، و تئوری درختان تکرار تکیه دارد. و مدل های L[E] با پس زمینه با کاردینال های Woodin. این کار زمانی است که ساختار ظریف با درختان تکرار مواجه می شود.
توضیحاتی درمورد کتاب به خارجی
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the third publication in the Lecture Notes in Logic series, Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders, and relies upon the fine structure theory of L[E] models with strong cardinals, and the theory of iteration trees and 'backgrounded' L[E] models with Woodin cardinals. This work is what results when fine structure meets iteration trees.
