Реализуемостная семантика раннего периода марковского конструктивизма (история и проблемы).
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Nagorny N. Реализуемостная семантика раннего периода марковского конструктивизма (история и проблемы). // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 61-71.
Issue
Section
Papers