|
Математические заметки, 1979, том 26, выпуск 1, страницы 113–121
(Mi mzm8384)
|
|
|
|
Об одном следствии аксиомы Мартина
В. Г. Кановей Московский институт инженеров железнодорожного транспорта
Аннотация:
Доказывается теорема (ZFC): Пусть выполняется аксиома Мартина, мощность континуума c>ω1, ординал ωL[x]1 счетен для каждого x⊆ω. Тогда ω1 является кардиналом Мало в L[x], каково бы ни было x⊆ω.
Следствие. {\emВ теории ZFC + аксиома Мартина + c>ω1 + ∀x⊆ω)[ωL[x]1счетно] доказуема непротиворечивость теорий ZFC + «существует недостижимый кардинал» и ZFC + ∀x⊆ω)[ωL[x]1счетно]}. Библ. 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
|
Статистика просмотров: |
Страница аннотации: | 292 | PDF полного текста: | 168 | Первая страница: | 1 |
|