|
Математические заметки, 1979, том 26, выпуск 1, страницы 113–121
(Mi mzm8384)
|
|
|
|
Об одном следствии аксиомы Мартина
В. Г. Кановей Московский институт инженеров железнодорожного транспорта
Аннотация:
Доказывается теорема (ZFC): Пусть выполняется аксиома Мартина, мощность континуума $c>\omega_1$, ординал $\omega_1^{L[x]}$ счетен для каждого $x\subseteq\omega$. Тогда $\omega_1$ является кардиналом Мало в $L[x]$, каково бы ни было $x\subseteq\omega$.
Следствие. {\emВ теории ZFC + аксиома Мартина + $c>\omega_1$ + $\forall\,x\subseteq\omega) [\omega_1^{L[x]}\text{счетно}]$ доказуема непротиворечивость теорий ZFC + «существует недостижимый кардинал» и ZFC + $\forall\,x\subseteq\omega)[\omega_1^{L[x]}\text{счетно}]$}. Библ. 5 назв.
Поступило: 26.10.1976
Образец цитирования:
В. Г. Кановей, “Об одном следствии аксиомы Мартина”, Матем. заметки, 26:1 (1979), 113–121; Math. Notes, 26:1 (1979), 549–553
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm8384 https://www.mathnet.ru/rus/mzm/v26/i1/p113
|
Статистика просмотров: |
Страница аннотации: | 287 | PDF полного текста: | 163 | Первая страница: | 1 |
|