Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини.

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

V.H. Khakhaman

Abstract

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ, 1979. Вып. XIII, С. 184-195

Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств М.: Наука, 1979. С. 60-61.

Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Math. 1973. N. 337. P.96.