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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 04.11.2003
DOI: https://doi.org/10.21146/2074-1472-2003-10-0-198-203

##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##

How to Cite
Khakhaman V. Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини. // Logicheskie Issledovaniya / Logical Investigations. 2003. VOL. 10. C. 198-203.
Issue
Vol 10 (2003)
Section
Papers

References

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

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

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