Sazonov Vladimir Yur'evich

Publications in Math-Net.Ru

1. Equivalence of the polynomial constructivity of the Markov principle to the equality $\mathrm{P}=\mathrm{NP}$
   
   Trudy Inst. Mat. Sib. Otd. AN SSSR, 12 (1989),  138–165
2. Expressibility of functionals in the LCF language of D. Scott
   
   Algebra Logika, 15:3 (1976),  308–330
3. Sequentially and in parallel computable functionals
   
   Sibirsk. Mat. Zh., 17:3 (1976),  648–672


4. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
   
   Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195