|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
Неразрешимые гипотезы в теории внутренних множеств Эдварда Нельсона
В. Г. Кановейab a Московский институт инженеров железнодорожного транспорта
b Институт проблем передачи информации РАН
Аннотация:
Целью работы является доказательство неразрешимости в теории внутренних множеств Нельсона $\mathbf{IST}$ нескольких таких предложений, или гипотез, общий смысл которых заключается в распространении на внешние (т. е.\включающие предикат стандартности) формулы тех аксиом и теорем теории Цермело–Френкеля $\mathbf{ZFC}$, которые справедливы для внутренних (не включающих этого предиката) формул.
Библиогр. 35 назв.
Поступила в редакцию: 14.05.1991
Образец цитирования:
В. Г. Кановей, “Неразрешимые гипотезы в теории внутренних множеств Эдварда Нельсона”, УМН, 46:6(282) (1991), 3–50; Russian Math. Surveys, 46:6 (1991), 1–54
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm4674 https://www.mathnet.ru/rus/rm/v46/i6/p3
|
Статистика просмотров: |
Страница аннотации: | 675 | PDF русской версии: | 327 | PDF английской версии: | 33 | Список литературы: | 74 | Первая страница: | 1 |
|