Свойства ординалов в теории множеств с интуиционистской логикой
Main Article Content
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.
Downloads
Download data is not yet available.
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.