Плиско Валерий Егорович

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

1. Об одном конструктивном исчислении предикатов
   
   Матем. заметки, 118:2 (2025),  278–298
2. Неарифметичность предикатной логики примитивно рекурсивной реализуемости
   
   Изв. РАН. Сер. матем., 87:2 (2023),  196–228
3. О конструктивной теории перечислимых видов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 2,  13–19
4. О гиперарифметической реализуемости
   
   Матем. заметки, 98:5 (2015),  725–746
5. Обзор предикатной логики реализуемости
   
   Труды МИАН, 274 (2011),  222–251
6. О соотношении двух понятий примитивно рекурсивной реализуемости
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 1,  6–11
7. Начала конструктивной теории моделей
   
   Фундамент. и прикл. матем., 8:3 (2002),  783–828
8. Об арифметической сложности предикатных логик полных конструктивных арифметических теорий
   
   Фундамент. и прикл. матем., 5:1 (1999),  221–255
9. Модифицированная реализуемость и логика предикатов
   
   Матем. заметки, 61:2 (1997),  259–269
10. О логиках, имеющих диагностические формулы относительно минимального исчисления
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1993, № 6,  18–22
11. Об арифметической сложности некоторых конструктивных логик
    
    Матем. заметки, 52:1 (1992),  94–104
12. О понятии относительно равномерной реализуемости пропозициональных формул
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1992, № 2,  77–79
13. О соотношении некоторых понятий конструктивной теории моделей
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 4,  38–41
14. Диагностические пропозициональные формулы
    
    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 3,  7–12
15. Конструктивная формализация теоремы Тенненбаума и ее применения
    
    Матем. заметки, 48:3 (1990),  108–118
16. Исчисление А. Н. Колмогорова как фрагмент минимального исчисления
    
    УМН, 43:6(264) (1988),  79–91
17. О языках с конструктивными логическими связками
    
    Докл. АН СССР, 296:1 (1987),  35–38
18. Абсолютная реализуемость предикатных формул
    
    Изв. АН СССР. Сер. матем., 47:2 (1983),  315–334
19. Некоторые варианты понятия реализуемости для предикатных формул
    
    Изв. АН СССР. Сер. матем., 42:3 (1978),  636–653
20. Неарифметичность класса реализуемых предикатных формул
    
    Изв. АН СССР. Сер. матем., 41:3 (1977),  483–502
21. Некоторые варианты понятия реализуемости для предикатных формул
    
    Докл. АН СССР, 226:1 (1976),  61–64
22. Рекурсивная реализуемость и конструктивная логика предикатов
    
    Докл. АН СССР, 214:3 (1974),  520–523
23. О реализуемых предикатных формулах
    
    Докл. АН СССР, 212:3 (1973),  553–556


24. Поправка
    
    УМН, 44:3(267) (1989),  205