|
Математические заметки, 1981, том 30, выпуск 3, страницы 407–419
(Mi mzm6204)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы
В. Г. Кановей
Аннотация:
Доказана равнонепротиворечивость теорий $Z^-$ и $ZF^-$, т.е. теорий Цермело и Цермело–Френкеля, из которых удалена аксиома степени. Строится интерпретация $ZF^-$ в $Z^-$ через посредство специальной промежуточной теории. Библ. 4 назв.
Поступило: 25.07.1978
Образец цитирования:
В. Г. Кановей, “Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы”, Матем. заметки, 30:3 (1981), 407–419; Math. Notes, 30:3 (1981), 695–702
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm6204 https://www.mathnet.ru/rus/mzm/v30/i3/p407
|
Статистика просмотров: |
Страница аннотации: | 491 | PDF полного текста: | 137 | Первая страница: | 2 |
|