| |||
|
|
Менгенлере В последнее время в ленте и вне её, но в несколько неожиданных контекстах, встретил много упоминаний о теории множеств. В связи с чем несколько (стандартных, в общем-то) ссылок. Обзоры: - 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/0 Учебники: - 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 Вообще, по-хорошему, для форсинга есть две стандартных стартовых ссылки - книжка Йеха (в сети есть русский перевод) и книжка Кунена, её более-менее разжёвывающая (в сети не видел). Дополнения, замечания и т.д. приветствуются. |
||||||||||||||