Аннотация:
Доказана равнонепротиворечивость теорий Z− и ZF−, т.е. теорий Цермело и Цермело–Френкеля, из которых удалена аксиома степени. Строится интерпретация ZF− в Z− через посредство специальной промежуточной теории. Библ. 4 назв.
Образец цитирования:
В. Г. Кановей, “Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы”, Матем. заметки, 30:3 (1981), 407–419; Math. Notes, 30:3 (1981), 695–702