دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: A. Mostowski (Eds.) سری: Studies in Logic and the Foundations of Mathematics 57 ISBN (شابک) : 9780444534217 ناشر: Elsevier Science سال نشر: 1969 تعداد صفحات: 281 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Constructible Sets with Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مجموعه های ساختنی با برنامه های کاربردی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Content:
Edited by
Page iii
Copyright page
Page v
Preface
Pages v-vi
Andrzej Mostowski
Chapter I Axioms and Auxiliary Notions
Pages 1-21
Chapter II General Principles of Construction
Pages 22-34
Chapter III Constructible Sets
Pages 35-49
Chapter IV Functors and Their Definability
Pages 50-68
Chapter V Constructible Sets as Values of a Functor
Pages 69-84
Chapter VI CПЂ(A)(О±) as a Model
Pages 85-98
Chapter VII Consistency of the Axiom of Choice and of the Continuum Hypothesis
Pages 99-119
Chapter VIII Reduction of Models
Pages 120-126
Chapter IX Generic Points and Forcing; General Theory
Pages 127-140
Chapter X Polynomials
Pages 141-152
Chapter XI Explicit Construction of Polynomials for Functions Bmin, BO, BZ
Pages 153-168
Chapter XII Examples of Models and of Independence Proofs
Pages 169-188
Chapter XIII The Continuum Hypothesis
Pages 189-222
Chapter XIV Independence of the Axiom of Choice
Pages 223-247
Chapter XV Problems of Definability
Pages 248-254
Appendix
Pages 255-257
Bibliography
Pages 258-259
List of Important Symbols
Pages 260-265
Author Index
Page 266
Subject Index
Pages 267-269