Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой.

##plugins.themes.bootstrap3.article.main##

V.Kh. Khakhanian

Abstract

In the work we constructed the new type models for the set theory with intuitionistic logic.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ. 1979, Вып. XIII. С. 184-195.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Math. 1973. N. 337. P. 96.
Драгалии А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 60-61.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Матем. Заметки. Т.75, январь 2004. Вып.1. С. 155- 157.
Хаханян В.Х. Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини // Логические исследования. Вып. 10. М.: Наука, 2003. С. 198-203.
Хаханян В.Х. Функциональные алгебраические модели для неклассической теории множеств // Логические исследования. Вып. 4. М.: Наука, 1997. С. 192-195.
Khakhanian V.Kh. Functional algebraic models for non-classical set theory // Bulletin of the Section of Logic, 1998, (march-june), V. 27. P. 53-54.
Расёва E., Сикорский P. Математика метаматематики. M.: Наука, 1972.
Feferman S. Arithmetization of mathematics in general setting // Fundamenta Mathematica, 1960. N. 49. P. 35-92.
Beeson M. The nonderivability in intuitionistic formal system of theorem on the continuity of effective operations // The Journal of Symbolic Logic, 1975. V.40. N. 3. P. 321-346.