|
|
Математические заметки, 1981, том 30, выпуск 3, страницы 407–419
(Mi mzm6204)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы
В. Г. Кановей
Аннотация:
Доказана равнонепротиворечивость теорий $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
|
|