Лифшиц Владимир Александрович

Публикации в базе данных Math-Net.Ru

1. Локально аналитическая конструктивная функция, не являющаяся аналитической
   
   Докл. АН СССР, 202:6 (1972),  1265–1267
2. Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  53–58
3. Метаматематическая интерпретация теоремы о веерах
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  45–52
4. Об исследовании конструктивных функций методом заполнений
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  67–79
5. О множестве нулей конструктивного степенного ряда в вещественной области
   
   Зап. научн. сем. ЛОМИ, 16 (1969),  114–125
6. Специализация формы вывода в исчислении предикатов с равенством и функциональными символами. I
   
   Тр. МИАН СССР, 98 (1968),  5–25
7. О конструктивных аналитических функциях одной вещественной переменной
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  121–131
8. О конструктивных математических теориях, согласованных с классической логикой
   
   Тр. МИАН СССР, 93 (1967),  113–122
9. О конструктивных группах
   
   Зап. научн. сем. ЛОМИ, 4 (1967),  86–95
10. Проблема разрешимости для некоторых конструктивных теорий равенства
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  78–85
11. Дедуктивная общезначимость и классы сведения
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  69–77
12. Некоторые классы сведения и неразрешимые теории
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  65–68
13. Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
    
    Зап. научн. сем. ЛОМИ, 4 (1967),  58–64


14. Николай Александрович Шанин (некролог)
    
    УМН, 68:4(412) (2013),  173–176
15. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)
    
    УМН, 56:3(339) (2001),  181–184