Свойства ординалов в теории множеств с интуиционистской логикой
Article Sidebar
Опубликован:
16.01.2007
Main Article Content
Аннотация
Мы доказываем, что некоторые свойства ординалов не имеют места в интуиционистской теории множеств, и метаматематика нашего доказательства слабее, чем в гейтингозначных моделях.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Свойства ординалов в теории множеств с интуиционистской логикой // Логические исследования / Logical Investigations. 2007. Т. 13. C. 190-194.
Выпуск
Раздел
Статьи
Литература
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.