Теория множеств: введение в доказательства независимости - Википедия - Set Theory: An Introduction to Independence Proofs

Теория множеств: введение в доказательства независимости это учебник и справочник по теория множеств к Кеннет Кунен. Он начинается с основных понятий, включая ZFC аксиом и быстро развивает комбинаторные понятия, такие как деревья, Проблема суслина, ◊, и Аксиома мартина. Он развивает некоторые основные теория моделей (скорее специально нацеленные на модели теории множеств) и теории Конструируемая вселенная Гёделя L. Затем книга переходит к описанию метода принуждение.

Кунен полностью переписал книгу для издания 2011 года (под названием «Теория множеств»), включив в нее больше теории моделей.

Рекомендации

  • Баумгартнер, Джеймс Э. (июнь 1986 г.). "Теория множеств. Введение в доказательства независимости Кеннета Кунена ". Журнал символической логики. 51 (2): 462–464. Дои:10.2307/2274070. JSTOR  2274070.
  • Хенсон, К. Уорд (1984). "Теория множеств, Введение в доказательства независимости Кеннета Кунена ". Бык. Амер. Математика. Soc. 10: 129–131. Дои:10.1090 / S0273-0979-1984-15214-5.
  • Кунен, Кеннет (1980). Теория множеств: введение в доказательства независимости. Северная Голландия. ISBN  0-444-85401-0. Zbl  0443.03021.
  • Кунен, Кеннет (2011). Теория множеств. Исследования по логике. 34. Лондон: публикации колледжа. ISBN  978-1-84890-050-9. МИСТЕР  2905394. Zbl  1262.03001.