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

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»?