|
Алгебра и логика, 1991, том 30, номер 6, страницы 671–692
(Mi al2173)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О метатеории множеств
А. С. Нудельман
Аннотация:
Формулируется и мотивируется метатеория множеств, предназначенная для построения стандартной теории множеств. В метатеории оказались доказуемыми, в частности, схемы аксиом Леви, принцип Шенфилда и принцип рефлексии.
Поступило: 16.01.1991
Образец цитирования:
А. С. Нудельман, “О метатеории множеств”, Алгебра и логика, 30:6 (1991), 671–692
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2173 https://www.mathnet.ru/rus/al/v30/i6/p671
|
Статистика просмотров: |
Страница аннотации: | 61 | PDF полного текста: | 22 |
|