Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2009
##plugins.themes.bootstrap3.article.main##
Abstract
We consider the universe of sets for models for intuitionistic set theory from [1] and [2] and proved some property of such universe.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Khakhanian V. Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств // Logicheskie Issledovaniya / Logical Investigations. 2009. VOL. 15. C. 229-231.
Issue
Section
Papers
References
Хаханян В.Х. Теория множеств и тезис Чёрча // Исследования по неклассическим логикам и формальным системам. М.: Наука, 1983. С. 198-208.
Хаханян В.Х. Непротиворечивость интуиционистской теории множеств с принципами Чёрча и униформизации // Вестник Моск. Университета, серия Математика. Механика. 1980. № 5. С. 3-7.
Хаханян В.Х. Невыводимость принципа униформизации из тезиса Чёрча в интуиционистской теории множеств // Математические заметки. 1988. Т. 43, Вып. 5 (май). С. 685-691.
Хаханян В.Х. Непротиворечивость интуиционистской теории множеств с принципами Чёрча и униформизации // Вестник Моск. Университета, серия Математика. Механика. 1980. № 5. С. 3-7.
Хаханян В.Х. Невыводимость принципа униформизации из тезиса Чёрча в интуиционистской теории множеств // Математические заметки. 1988. Т. 43, Вып. 5 (май). С. 685-691.