Функциональная алгебраическая модель для S-реализуемости

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

V.Kh. Khakhanian

Abstract

We present here the functional algebraic model for so-called «s-realizability» that is a modification of well-known Kleene’s realizability.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ, 1979. Т. XIII. С. 184-195.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 64, 215-218.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Математические заметки, 2004. Т. 75. Вып. 1. С. 155- 156.