Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Ключевые слова: интуиционистское исчисление предикатов,
секвенция,
устраненение сечений,
разрешимый класс,
класс сведения,
сложность доказательства,
обратный метод,
метод резолюций,
стратегия поиска доказательства,
задача унификации,
унификатор,
конструктивное метрическое пространство.
Основные публикации:
Mints G., Orevkov V. P., Tammet T. Transfer of sequent calculus strategies to resolution for S4 // Proof Theory of Modal Logic, Kluwer Academic Publishers, 1996, 17–31.
Orevkov V. P. Complexity of proofs and their transformations in axiomatic theories // Amer. Math. Soc. Translations of mathematical monographs, v. 128, 1993.
Оревков В. П. Равномерно непрерывное конструктивное отображение квадрата в себя без неподвижных точек // Справочная книга по математической логике. Часть IV, Добавление 6, 1983, 366–382.
Оревков В. П. Разрешимые классы псевдопредваренных формул // Зап. научн. семинаров Ленинградского отд. Матем. ин-та АН СССР, т. 60, 1976, 109–170.
Оревков В. П. О гливенковских классах секвенций // Тр. Матем. ин-та АН СССР, т. 98, 1968, 131–154.
