Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини.
Article Sidebar
Опубликован:
04.11.2003
Main Article Content
Аннотация
We describe A.Dragalin’s method o f construction o f models for HA as functional algebraic models and we prove that there does not exist such a model for slash-realizability o f Kleene.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини. // Логические исследования / Logical Investigations. 2003. Т. 10. C. 198-203.
Выпуск
Раздел
Статьи
Литература
Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ, 1979. Вып. XIII, С. 184-195
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств М.: Наука, 1979. С. 60-61.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Math. 1973. N. 337. P.96.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств М.: Наука, 1979. С. 60-61.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Math. 1973. N. 337. P.96.