|
Независимость принципа униформизации от тезиса Чёрча в интуиционистской теории множеств
В. Х. Хаханян Московский государственный университет путей сообщения (МИИТ)
Аннотация:
Доказана независимость сильного принципа униформизации от тезиса Чёрча с выбором в интуиционистской теории множеств с аксиомой объемности, расширенной принципами Маркова и двойного дополнения множеств.
Библиография: 11 наименований.
Ключевые слова:
интуиционистская логика, теория множеств, универсум множеств, рекурсивная реализуемость, тезис Чёрча, принцип униформизации, функция экстенсиональности множества.
Поступило в редакцию: 21.03.2011 Исправленный вариант: 29.06.2012
Образец цитирования:
В. Х. Хаханян, “Независимость принципа униформизации от тезиса Чёрча в интуиционистской теории множеств”, Изв. РАН. Сер. матем., 77:6 (2013), 207–222; Izv. Math., 77:6 (2013), 1260–1275
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im7739https://doi.org/10.4213/im7739 https://www.mathnet.ru/rus/im/v77/i6/p207
|
Статистика просмотров: |
Страница аннотации: | 411 | PDF русской версии: | 178 | PDF английской версии: | 35 | Список литературы: | 57 | Первая страница: | 29 |
|