Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств

Article Sidebar

PDF
Опубликован: 30.11.2009
DOI: https://doi.org/10.21146/2074-1472-2009-15-0-229-231
Ключевые слова:
аксиома, универсум, функция, множество, интуиционизм, экстенсиональность

Main Article Content

В.Х. Хаханян

Аннотация

Мы рассматриваем универсум множеств для моделей для интуиционистской теории множеств из [1] и [2] и доказываем некоторое свойство такого универсума.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Хаханян В. Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств // Логические исследования / Logical Investigations. 2009. Т. 15. C. 229-231.
Выпуск
Том 15 (2009)
Раздел
Статьи

Литература

Хаханян В.Х. Теория множеств и тезис Чёрча // Исследования по неклассическим логикам и формальным системам. М.: Наука, 1983. С. 198-208.
Хаханян В.Х. Непротиворечивость интуиционистской теории множеств с принципами Чёрча и униформизации // Вестник Моск. Университета, серия Математика. Механика. 1980. № 5. С. 3-7.
Хаханян В.Х. Невыводимость принципа униформизации из тезиса Чёрча в интуиционистской теории множеств // Математические заметки. 1988. Т. 43, Вып. 5 (май). С. 685-691.