مشخصات کتاب

Algebraic set theory

ویرایش:  
نویسندگان: André Joyal. Ieke Moerdijk  
سری: London Mathematical Society Lecture Note Series 220 
ISBN (شابک) : 0521558301, 9780521558303 
ناشر: Cambridge University Press 
سال نشر: 1995 
تعداد صفحات: 132 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 983 کیلوبایت 

در صورت تبدیل فایل کتاب Algebraic set theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه مجموعه جبری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه مجموعه جبری

این کتاب یک رویکرد جبری جدید برای نظریه مجموعه ها ارائه می دهد. نویسندگان نوع خاصی از جبر، جبرهای زرملو-فرانکل را معرفی می کنند که از بدیهیات آشنای نظریه مجموعه های زرملو-فرانکل ناشی می شود. علاوه بر این، نویسندگان به صراحت این جبرها را با استفاده از تئوری شبیه‌سازی‌های دوگانه می‌سازند. رویکرد آنها کاملاً سازنده است و شامل نظریه مجموعه‌های شهودی و نظریه توپوس است. به ویژه توصیفی یکنواخت از ساختارهای مختلف سلسله مراتب تجمعی مجموعه ها در مدل های اجباری، مدل های شیف و مدل های تحقق پذیری ارائه می دهد. دانشجویان فارغ التحصیل و محققین در منطق ریاضی، نظریه مقوله ها و علوم کامپیوتر باید این کتاب را بسیار مورد توجه قرار دهند و برای هر کسی که پیشینه ای در منطق مقوله ای دارد باید در دسترس باشد.

توضیحاتی درمورد کتاب به خارجی

This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore, the authors explicitly construct these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with a background in categorical logic.

فهرست مطالب

Cover......Page 1
Title Page......Page 4
Copyright Page......Page 5
Contents......Page 6
Preface......Page 8
Introduction......Page 10
1 Axioms for small maps......Page 16
2 Representable structures......Page 20
3 Power-sets......Page 25
4 Complete sup-lattices......Page 31
5 Appendix: Uniqueness of universal small maps......Page 33
1 Free Zermelo-Fraenkel algebras......Page 38
2 Ordinal numbers......Page 47
3 Von Neumann ordinals......Page 55
4 The Tarski fixed point theorem......Page 63
5 Axioms for set theory......Page 68
1 Open maps and (bi-)simulations......Page 76
2 Forests......Page 80
3 Height functions......Page 83
4 Construction of V and 0......Page 86
5 Construction of Tarski ordinals......Page 90
6 Simulation for Von Neumann ordinals......Page 92
1 Sets and classes......Page 96
2 Kuratowski finite maps......Page 97
3 Sheaves on a site......Page 98
4 Realizability......Page 101
5 Choice maps......Page 105
Appendix A. Monads and algebras with successor......Page 110
Appendix B. Heyting pretopoi......Page 118
Appendix C. Descent......Page 122
Bibliography......Page 126
Index......Page 129

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

کتاب های تصادفی

دانلود کتاب Teologia della bellezza. L’arte dell’icona

دانلود کتاب Computational Optimization and Applications in Engineering and Industry

دانلود کتاب Understanding Digital Terrestrial Broadcasting

دانلود کتاب Patrologia Syriaca. Tomus 1: Parisot Ioannes. Aphraatis Demonstrationes I-XXII

دانلود کتاب The Counter-Reformation: Catholic Europe and the Non-Christian World