Реализуемостная семантика раннего периода марковского конструктивизма (история и проблемы).

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

N.M. Nagorny

Abstract

The article contains the analysis o f M arkov's never published investigations connected to Kleene's realizability, and is based on fragm entary data, any comprehensive written account being lacking. The following two M arkov's problem s are form ulated: I) Is there a possible link between so called M arkov's principle and the com pleteness o f the intuitionistic propositional calculus relative to Kleene's realizability? 2) D oes the notion o f Kleene's realizability enjoy the so called «disjunction property»?

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers