Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой.
Main Article Content
Abstract
In the work we constructed the new type models for the set theory with intuitionistic logic.
Downloads
Download data is not yet available.
Article Details
How to Cite
Khakhanian V. Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 272-281.
Issue
Section
Papers
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.
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.