Отправить статью по E-mail 
Обзор соотношений принципов униформизации и тезисов Чёрча в интуиционистской теории множеств
- Авторы: Хаханян В.Х.1
-
Учреждения:
- Московский государственный университет путей сообщения
- Выпуск: № 4 (2013)
- Страницы: 47-50
- Раздел: Статьи
- URL: https://journals.rudn.ru/philosophy/article/view/11405
Цитировать
Полный текст
Аннотация
В работе рассмотрены доказанные ранее в статьях автора и приведен (без доказательства) последний из результатов о соотношениях разных видов принципа униформизации и тезисов Чёрча в теории множеств с интуиционистской логикой.
Ключевые слова
Об авторах
Валерий Христофорович Хаханян
Московский государственный университет путей сообщения
Email: valkhakhanian@gmail.com
Список литературы
- Khakhanian V.Kh. The independence principle of uniformization from Church thesis in intuitionistic set theory // Mathematical Note 43, issue 5 (may). — 1988. — P. 685—691 (Russian).
- Troelstra A.S. Notes on the intuitionistic second order arithmetic // Lecture Notes in Mathematics. — 1973. — N. 337. — P. 171—205.
- Khakhanian V.Kh. Set theory and Church thesis // The investigations by non classical logics and formal systems. — M.: Nauka, 1983. — P. 198—208 (Russian).
- Shwartz G. Some applications of method of recursive realizability to intuitionistic set types // Questions of cybernetics. Non classical logics and its applications. — M., 1982. — P. 37—54 (Russian).
- Khakhanian V.Kh. The consistency of intuitionistic set theory with principles of Church thesis and uniformization // Vestnik of Moscow State University. Serie “Mathematics and Mechanics”. — 1980. — N 5. — P. 3—7 (Russian).
- Khakhanian V.Kh. The independence of strong uniformization from Church thesis in full set theory // Scientific mathematical readings in commemoration of M.Y. Suslin. Saratov, 16—21, October, 1989. Abstracts SGPI, 1989. — P. 91 (Russian).
- Khakhanyan V.Kh. Independence of the uniformity principle from Church's thesis in intuitionistic set theory // Izvestia RAN. Ser. Mat. — 2013. — 77:6. — P. 209—224.
