Krol' Mikhail Danilovich

Publications in Math-Net.Ru

1. Various forms of the continuity principle
   
   Dokl. Akad. Nauk SSSR, 271:1 (1983),  33–36
2. Distinct variants of Kripke's schema in intuitionistic analysis
   
   Dokl. Akad. Nauk SSSR, 239:5 (1978),  1048–1051
3. Disjunctive and existential properties of intuitionistic analysis with Kripke's scheme
   
   Dokl. Akad. Nauk SSSR, 234:4 (1977),  750–753
4. The topological models of intuitionistic anlaysis. One counterexample
   
   Mat. Zametki, 19:6 (1976),  859–862