Lifschitz Vladimir Aleksandrovich

Publications in Math-Net.Ru

1. A locally analytic constructive function which is not analytic
   
   Dokl. Akad. Nauk SSSR, 202:6 (1972),  1265–1267
2. A non-compact closed sphere in a constructive compact metric space
   
   Zap. Nauchn. Sem. LOMI, 32 (1972),  53–58
3. Metamathematical interpretation of the fan theorem
   
   Zap. Nauchn. Sem. LOMI, 32 (1972),  45–52
4. On investigation of constructive functions by the fillings method
   
   Zap. Nauchn. Sem. LOMI, 20 (1971),  67–79
5. On the set of zeroes of constructive power series in a real variable
   
   Zap. Nauchn. Sem. LOMI, 16 (1969),  114–125
6. Specialization of the form of deduction in the precicate calculus with equality and function symbols. I
   
   Trudy Mat. Inst. Steklov., 98 (1968),  5–25
7. On constructive analytical functions of one real variable
   
   Zap. Nauchn. Sem. LOMI, 8 (1968),  121–131
8. Constructive mathematical theories consistent with classical logic
   
   Trudy Mat. Inst. Steklov., 93 (1967),  113–122
9. On constructive groups
   
   Zap. Nauchn. Sem. LOMI, 4 (1967),  86–95
10. The decision problem for some constructive theories of equality
    
    Zap. Nauchn. Sem. LOMI, 4 (1967),  78–85
11. Deductive validity and reduction classes
    
    Zap. Nauchn. Sem. LOMI, 4 (1967),  69–77
12. Some reduction classes and undecidable theories
    
    Zap. Nauchn. Sem. LOMI, 4 (1967),  65–68
13. The normal form for deductions in the predicate calculus with equality and functional symbols
    
    Zap. Nauchn. Sem. LOMI, 4 (1967),  58–64


14. Nikolai Aleksandrovich Shanin (obituary)
    
    Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176
15. Nikolai Aleksandrovich Shanin (on his 80th birthday)
    
    Uspekhi Mat. Nauk, 56:3(339) (2001),  181–184