Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Artem Chernikov ([info]archernikov)
@ 2007-02-18 16:59:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Менгенлере
В последнее время в ленте и вне её, но в несколько неожиданных контекстах, встретил много упоминаний о теории множеств. В связи с чем несколько (стандартных, в общем-то) ссылок.

Обзоры:

- 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 спасибо [info]akor168@lj.


Про форсинг на пальцах:

- A Cheerful Introduction to Forcing, Kenny Easwaran
  Конечно, кое-что хорошо бы изменить, но в целом очень удачная, на мой взгляд, записка. Его блог - Antimeta

- Forcing for dummies, Timothy Y. Chow

Вообще, по-хорошему, для форсинга есть две стандартных стартовых ссылки - книжка Йеха (в сети есть русский перевод) и книжка Кунена, её более-менее разжёвывающая (в сети не видел).

Дополнения, замечания и т.д. приветствуются.


(Добавить комментарий)


[info]dimpas@lj
2007-02-18 12:21 (ссылка)
а как A.Levy's "Basic set theory" ?

(Ответить) (Ветвь дискуссии)


[info]archernikov@lj
2007-02-24 11:13 (ссылка)
Ну, Леви. Нормальный учебник, классика, но всё-таки очень толстый для того небольшого списка тем, которые он покрывает, мне кажется.

(Ответить) (Уровень выше)

непонятно об чем базар
[info]potap@lj
2007-02-18 20:32 (ссылка)
Хотелось бы узнать, что такое "теория множеств" и какое отношение она имеет к математике? Это матлогика или что?

(Ответить) (Ветвь дискуссии)

Re: непонятно об чем базар
[info]archernikov@lj
2007-02-24 11:20 (ссылка)
Ох, ну это очень сложный вопрос какой-то, несколько дней уже думаю. Матлогика, да. В нормальной математике почти не встречается, в содержательном смысле во всяком случае. Иногда нормальная математика встречается в ней. Вот было как-то обсуждение на близкую тему - http://relf.livejournal.com/67727.html

(Ответить) (Уровень выше)


[info]anhinga_anhinga@lj
2007-02-23 16:47 (ссылка)
Про форсинг на пальцах

Спасибо!

(Ответить) (Ветвь дискуссии)


[info]archernikov@lj
2007-02-24 11:15 (ссылка)
You're welcome!

(Ответить) (Уровень выше)


[info]ygam@lj
2007-03-13 20:46 (ссылка)
Похоже, что Logic, Computation and Set Theory - другое издание его же Logic Induction and Sets.

(Ответить) (Ветвь дискуссии)


[info]archernikov@lj
2007-03-13 20:49 (ссылка)
Похоже на то, да - у него, судя по всему, несколько драфтов/книг с большим пересечением материала. На самом деле книжка ничем совершенно не примечательная, в основном.

(Ответить) (Уровень выше)

Kunen
(Анонимно)
2012-02-05 16:24 (ссылка)
https://logic.wikischolars.columbia.edu/file/view/Kunen,+K.+%281980%29.+Set+Theory.pdf

(Ответить)