Теория множеств: введение в доказательства независимости
Set Theory: An Introduction to Independence Proofs — учебник и справочник по теории множеств Кеннета Кюнена . Он начинается с базовых понятий, включая аксиомы ZFC , и быстро развивает комбинаторные понятия, такие как деревья , проблема Суслина , ◊ и аксиома Мартина . Он развивает некоторую базовую теорию моделей (скорее специально нацеленную на модели теории множеств) и теорию конструктивной вселенной Гёделя L. Затем книга переходит к описанию метода форсинга .
Кюнен полностью переписал книгу для издания 2011 года (под названием «Теория множеств»), включив в нее больше теории моделей.
Ссылки
- Баумгартнер, Джеймс Э. (июнь 1986 г.). « Теория множеств. Введение в доказательства независимости Кеннета Кюнена». Журнал символической логики . 51 (2): 462–464. doi :10.2307/2274070. JSTOR 2274070.
- Хенсон, К. Уорд (1984). «Теория множеств. Введение в доказательства независимости Кеннета Кюнена». Bull. Amer. Math. Soc . 10 : 129–131. doi : 10.1090/S0273-0979-1984-15214-5 .
- Кунен, Кеннет (1980). Теория множеств: Введение в доказательства независимости . Северная Голландия. ISBN 0-444-85401-0. Збл 0443.03021.
- Кунен, Кеннет (2011). Теория множеств . Исследования по логике. Том 34. Лондон: College Publications. ISBN 978-1-84890-050-9. MR 2905394. Zbl 1262.03001.
 | Эта статья о математической публикации — заглушка . Вы можете помочь Википедии, расширив ее. |
