Свойства ординалов в теории множеств с интуиционистской логикой

Main Article Content

V.Kh. Khakhanian

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.
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.