RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Оревков Владимир Павлович

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

  1. Верхние и нижние оценки высот секвенциальных доказательств в интуиционистском исчислении

    Зап. научн. сем. ПОМИ, 497 (2020),  124–169
  2. Правило сечения в методе резолюций

    Зап. научн. сем. ПОМИ, 407 (2012),  111–128
  3. Новый разрешимый хорновский фрагмент исчисления предикатов

    Зап. научн. сем. ПОМИ, 316 (2004),  147–162
  4. Замечание об усилении гипотезы Г. Крайзеля

    Зап. научн. сем. ЛОМИ, 176 (1989),  118–126
  5. Схемы доказательств в аксиоматических теориях гильбертовского типа

    Зап. научн. сем. ЛОМИ, 174 (1988),  132–146
  6. Применения устранения сечений для получения оценок длин доказательств

    Докл. АН СССР, 296:3 (1987),  539–542
  7. Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов

    Докл. АН СССР, 294:4 (1987),  784–787
  8. Восстановление доказательства по его схеме

    Докл. АН СССР, 293:2 (1987),  313–316
  9. Верхние оценки удлинения выводов при устранении сечений

    Зап. научн. сем. ЛОМИ, 137 (1984),  87–98
  10. Три способа выявления несущественных формул в секвенциях

    Зап. научн. сем. ЛОМИ, 88 (1979),  163–175
  11. Нижние оценки увеличения сложности выводов после устранения сечений

    Зап. научн. сем. ЛОМИ, 88 (1979),  137–162
  12. Разрешимые классы псевдопредваренных формул

    Зап. научн. сем. ЛОМИ, 60 (1976),  109–170
  13. Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной

    Зап. научн. сем. ЛОМИ, 40 (1974),  119–126
  14. О сложности разложения алгебраических иррациональностей в непрерывные дроби

    Тр. МИАН СССР, 129 (1973),  24–29
  15. Неразрешимые классы формул для конструктивного исчисления предикатов. I

    Тр. МИАН СССР, 121 (1972),  100–108
  16. Разрешимые классы, сводящиеся к однокванторному классу

    Тр. МИАН СССР, 121 (1972),  57–66
  17. Одна специализация формы вывода в генценовских исчислениях и ее приложения

    Зап. научн. сем. ЛОМИ, 32 (1972),  98–104
  18. О биконъюнктивных классах сведения

    Зап. научн. сем. ЛОМИ, 20 (1971),  170–174
  19. О непрерывности конструктивных функционалов

    Зап. научн. сем. ЛОМИ, 20 (1971),  160–169
  20. Эквивалентность двух определений непрерывности

    Зап. научн. сем. ЛОМИ, 20 (1971),  145–159
  21. Некоторые свойства гомеоморфизмов конструктивных метрических пространств

    Зап. научн. сем. ЛОМИ, 16 (1969),  157–164
  22. О неудлиняющих применениях правил для равенства

    Зап. научн. сем. ЛОМИ, 16 (1969),  152–156
  23. Машинный алгорифм установления выводимости на основе обратного метода

    Зап. научн. сем. ЛОМИ, 16 (1969),  8–19
  24. О гливенковских классах секвенций

    Тр. МИАН СССР, 98 (1968),  131–154
  25. Два неразрешимых класса формул классического исчисления предикатов

    Зап. научн. сем. ЛОМИ, 8 (1968),  202–210
  26. Гливенковские классы секвенций

    Зап. научн. сем. ЛОМИ, 8 (1968),  196–201
  27. О некоторых типах непрерывности конструктивных операторов

    Тр. МИАН СССР, 93 (1967),  164–186
  28. О конструктивных отображениях конечных полиэдров

    Тр. МИАН СССР, 93 (1967),  142–163
  29. Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную

    Зап. научн. сем. ЛОМИ, 4 (1967),  168–173
  30. О погружающих операциях

    Зап. научн. сем. ЛОМИ, 4 (1967),  160–167
  31. Неразрешимость в конструктивном исчислении предикатов класса формул типа $\daleth\daleth\forall\exists$

    Докл. АН СССР, 163:3 (1965),  581–583
  32. Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих только одноместные предикатные переменные

    Докл. АН СССР, 163:2 (1965),  295–297
  33. Некоторые классы сведения и разрешимые классы секвенций для конструктивного исчисления предикатов

    Докл. АН СССР, 163:1 (1965),  30–32
  34. Некоторые вопросы теории полиномов с конструктивными вещественными коэффициентами

    Тр. МИАН СССР, 72 (1964),  462–487
  35. О конструктивных отображениях круга в себя

    Тр. МИАН СССР, 72 (1964),  437–461
  36. Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов

    Докл. АН СССР, 152:3 (1963),  553–554
  37. О конструктивных отображениях полиэдров

    Докл. АН СССР, 152:2 (1963),  278–281
  38. Конструктивное отображение квадрата в себя, сдвигающее каждую конструктивную точку

    Докл. АН СССР, 152:1 (1963),  55–58

  39. Григорий Самуилович Цейтин (некролог)

    УМН, 78:3(471) (2023),  170–176
  40. Николай Александрович Шанин (некролог)

    УМН, 68:4(412) (2013),  173–176
  41. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)

    УМН, 56:3(339) (2001),  181–184
  42. Николай Александрович Шанин (к семидесятилетию со дня рождения)

    УМН, 45:1(271) (1990),  205–206
  43. Сергей Юрьевич Маслов (некролог)

    УМН, 39:2(236) (1984),  129–130
  44. Николай Александрович Шанин (к шестидесятилетию со дня рождения)

    УМН, 35:2(212) (1980),  241–245
  45. Предисловие редактора

    Тр. МИАН СССР, 121 (1972),  4
  46. Предисловие редактора

    Тр. МИАН СССР, 98 (1968),  3–4

© МИАН, 2025