|
Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы
В. Г. Кановей
Аннотация:
Доказана равнонепротиворечивость теорий $Z^-$ и $ZF^-$, т.е. теорий Цермело и Цермело–Френкеля, из которых удалена аксиома степени. Строится интерпретация $ZF^-$ в $Z^-$ через посредство специальной промежуточной теории. Библ. 4 назв.
Полный текст:
PDF файл (1081 kB)
Англоязычная версия:
Mathematical Notes, 1981, 30:3, 695–702
Реферативные базы данных:
УДК:
519.5 Поступило: 25.07.1978
Образец цитирования:
В. Г. Кановей, “Теории Цермело без аксиомы степени и Цермело–Френкеля без аксиомы степени равнонепротиворечивы”, Матем. заметки, 30:3 (1981), 407–419; Math. Notes, 30:3 (1981), 695–702
Цитирование в формате AMSBIB
\RBibitem{Kan81}
\by В.~Г.~Кановей
\paper Теории Цермело без аксиомы степени и Цермело--Френкеля без аксиомы степени равнонепротиворечивы
\jour Матем. заметки
\yr 1981
\vol 30
\issue 3
\pages 407--419
\mathnet{http://mi.mathnet.ru/mz6204}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=633988}
\zmath{https://zbmath.org/?q=an:0504.03023}
\transl
\jour Math. Notes
\yr 1981
\vol 30
\issue 3
\pages 695--702
\crossref{https://doi.org/10.1007/BF01141627}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=A1981NS56600009}
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/mz6204 http://mi.mathnet.ru/rus/mz/v30/i3/p407
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Просмотров: |
Эта страница: | 418 | Полный текст: | 84 | Первая стр.: | 2 |
|