Менгенлере В последнее время в ленте и вне её, но в несколько неожиданных контекстах, встретил много упоминаний о теории множеств. В связи с чем несколько (стандартных, в общем-то) ссылок.
Обзоры:
-
Unofficial index of online chapters in Handbook of Set Theory (Eds. Foreman, Kanamori, Magidor) Понятно из названия, написано в основном достаточно умственно и (или "но"?) интересно.
-
Patrick Dehornoy: Survey Papers, Proceedings, Lecture Notes, etc Несколько обзоров на темы сабжа (да и вообще имеет смысл почитать обзоры Йенсена, Вудина, Мадигора, Формана, Мартина, Стила, Шелаха(парочка довольно популярных -
http://front.math.ucdavis.edu/math.LO/0211397 и
http://arxiv.org/abs/math.LO/0211398) и т.д.)
Учебники:
-
Hrbacek K. Jech T. Introduction to Set Theory Тут всё понятно, внятное изложение теории множеств до форсинга
-
Steve Jackson's notes on set theory Неплохие, вроде, lecturenotes'ы Стива Джексона.
-
"Fundamentals of Model Theory" and "Set Theory" Пара книжек некоего Вильяма Вайсса, по содержанию приблизительно соответствуют аналогичным книжкам Верещагина и Шеня.
-
Logic, Computation and SetTheory, Thomas Forster Ничего особенного, но содержит смешное доказательство как-то уже
обсуждавшегося у меня факта, являющееся арифметикой с ошибками для 2-го класса.
За pdf спасибо
akor168@lj.
Про форсинг на пальцах:
-
A Cheerful Introduction to Forcing, Kenny Easwaran Конечно, кое-что хорошо бы изменить, но в целом очень удачная, на мой взгляд, записка. Его блог -
Antimeta-
Forcing for dummies, Timothy Y. ChowВообще, по-хорошему, для форсинга есть две стандартных стартовых ссылки - книжка Йеха (в сети есть
русский перевод) и книжка Кунена, её более-менее разжёвывающая (в сети не видел).
Дополнения, замечания и т.д. приветствуются.