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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2019-03-11 07:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
верхний пост - 2018
Для связи. Комменты скринятся.

Архивы:
[ 2017-2018 | 2014-2017 | 2013 | 2012 | 2011 | 2007-2010 | 2006 ]


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


(Анонимно)
2018-08-27 08:52 (ссылка)
Здравствуйте, Михаил! А где можно найти пруфы этих утверждений из Вашей книжки по топологии? (Хочется разобрать и верифицировать.)

1) Непротиворечивость системы Цермело-Френкеля
с аксиомой равносильна непротиворечивости Цермело-Френкеля без нее.

2)Система аксиом Цермело-Френкеля без аксиомы выбора, но с за
висимым выбором (ZF+DC) достаточна для почти всех задач, где необходим
выбор, но недостаточна для утверждений 1-4, перечисленных
выше. Также она следует из аксиомы детерминированности.

Заранее спасибо!

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


[info]tiphareth
2018-08-27 10:04 (ссылка)
первое
Коэн Пол Дж., Теория множеств и континуум-гипотеза, пер. с англ., М., 1969
второе
https://en.wikipedia.org/wiki/Axiom_of_determinacy
и по ссылкам оттуда

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2018-08-27 13:43 (ссылка)
Благодарю!

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


(Читать комментарии) -