Свойства ординалов в теории множеств с интуиционистской логикой
##plugins.themes.bootstrap3.article.sidebar##
Published:
16.01.2007
##plugins.themes.bootstrap3.article.main##
Abstract
We prove that some properties of ordinals do not take place in intuitionistic set theory and metamathematics of our proof is weaker than that which is in heyting-values models.
##plugins.generic.usageStats.downloads##
##plugins.themes.bootstrap3.article.details##
How to Cite
Khakhanian V. Свойства ординалов в теории множеств с интуиционистской логикой // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 13. C. 190-194.
Issue
Section
Papers
References
Grayson R. Heyting-valued models for intuitionistic set theory // Lecture Notes in mathematics. V. 753. 1979. P. 402-414.
Myhill J. Some properties of intuitionistic Zermelo-Fraenkel set theory // Lecture Notes in Mathematics. V. 337. 1973. P. 206-231.
Taylor P. Intuitionistic sets and ordinals // The Journal of Symbolic Logic. V. 61, n. 3, September 1996. P. 705-744.
Хаханян В.Х. Интуиционистская теория множеств // Логика и основания математики. Тезисы VIII Всесоюзной конференции «Логика и методология науки». Паланга 26-28 сентября 1982. С. 91-94.
Powell W. Extending Godel’s negative interpretation to ZF // The Journal of Symbolic Logic. V. 40, n. 2. 1975. P. 221-229.
Friedman H., Scedrov A. The lack of definable witnesses and provably recursive functions in intuitionistic set theories // Advances in Mathematics. V. 57, n. 1. 1985. P. 1-13.
Friedman H. One hundred and two problems in mathematical logic // The Journal of Symbolic Logic. V. 40, n. 2. 1975. P. 113-130.
Хаханян В.Х. Интуиционистская теория множеств: модели и метаматематика. М.: МИИТ, 2003.
Хаханян В.Х. Интуиционистское доказательство совместности тезиса Чёрча с теорией множеств // Известия вузов. Серия «Математика». 1993. ДО* 3. С. 81-83.
Myhill J. Some properties of intuitionistic Zermelo-Fraenkel set theory // Lecture Notes in Mathematics. V. 337. 1973. P. 206-231.
Taylor P. Intuitionistic sets and ordinals // The Journal of Symbolic Logic. V. 61, n. 3, September 1996. P. 705-744.
Хаханян В.Х. Интуиционистская теория множеств // Логика и основания математики. Тезисы VIII Всесоюзной конференции «Логика и методология науки». Паланга 26-28 сентября 1982. С. 91-94.
Powell W. Extending Godel’s negative interpretation to ZF // The Journal of Symbolic Logic. V. 40, n. 2. 1975. P. 221-229.
Friedman H., Scedrov A. The lack of definable witnesses and provably recursive functions in intuitionistic set theories // Advances in Mathematics. V. 57, n. 1. 1985. P. 1-13.
Friedman H. One hundred and two problems in mathematical logic // The Journal of Symbolic Logic. V. 40, n. 2. 1975. P. 113-130.
Хаханян В.Х. Интуиционистская теория множеств: модели и метаматематика. М.: МИИТ, 2003.
Хаханян В.Х. Интуиционистское доказательство совместности тезиса Чёрча с теорией множеств // Известия вузов. Серия «Математика». 1993. ДО* 3. С. 81-83.