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.
В. П. Оревков, “Верхние и нижние оценки высот секвенциальных доказательств в интуиционистском исчислении”, Зап. научн. сем. ПОМИ, 497 (2020), 124–169
2012
2.
В. П. Оревков, “Правило сечения в методе резолюций”, Зап. научн. сем. ПОМИ, 407 (2012), 111–128; V. P. Orevkov, “Cut for resolution method”, J. Math. Sci. (N. Y.), 199:1 (2014), 56–65
2004
3.
В. П. Оревков, “Новый разрешимый хорновский фрагмент исчисления предикатов”, Зап. научн. сем. ПОМИ, 316 (2004), 147–162; V. P. Orevkov, “A new decidable Horn fragment of the predicate calculus”, J. Math. Sci. (N. Y.), 134:5 (2006), 2403–2410
1989
4.
В. П. Оревков, “Замечание об усилении гипотезы Г. Крайзеля”, Зап. научн. сем. ЛОМИ, 176 (1989), 118–126; V. P. Orevkov, “A note on a extension of Kreisel's conjecture”, J. Soviet Math., 59:3 (1992), 850–855
1988
5.
В. П. Оревков, “Схемы доказательств в аксиоматических теориях гильбертовского типа”, Зап. научн. сем. ЛОМИ, 174 (1988), 132–146; V. P. Orevkov, “Schemes of proof in Hilbert-type axiomatic theories”, J. Soviet Math., 55:2 (1991), 1610–1620
В. П. Оревков, “Применения устранения сечений для получения оценок длин доказательств”, Докл. АН СССР, 296:3 (1987), 539–542; V. P. Orevkov, “Applications of cut elimination for obtaining bounds on the lengths of proofs”, Dokl. Math., 36:2 (1988), 292–295
7.
В. П. Оревков, “Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов”, Докл. АН СССР, 294:4 (1987), 784–787
8.
В. П. Оревков, “Восстановление доказательства по его схеме”, Докл. АН СССР, 293:2 (1987), 313–316
В. П. Оревков, “Три способа выявления несущественных формул в секвенциях”, Зап. научн. сем. ЛОМИ, 88 (1979), 163–175; V. P. Orevkov, “Three ways of recognizing essential formulas in sequents”, J. Soviet Math., 20:4 (1982), 2351–2357
В. П. Оревков, “Нижние оценки увеличения сложности выводов после устранения сечений”, Зап. научн. сем. ЛОМИ, 88 (1979), 137–162; V. P. Orevkov, “Lower bounds for lengthening of proofs after cut-elimination”, J. Soviet Math., 20:4 (1982), 2337–2350
В. П. Оревков, “Разрешимые классы псевдопредваренных формул”, Зап. научн. сем. ЛОМИ, 60 (1976), 109–170; V. P. Orevkov, “Solvable classes of pseudoprenex formulas”, J. Soviet Math., 14:5 (1980), 1497–1538
1974
13.
В. П. Оревков, “Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной”, Зап. научн. сем. ЛОМИ, 40 (1974), 119–126
1973
14.
В. П. Оревков, “О сложности разложения алгебраических иррациональностей в непрерывные дроби”, Тр. МИАН СССР, 129 (1973), 24–29; V. P. Orevkov, “The complexity of the expansion of algebraic irrationalities in continued fractions”, Proc. Steklov Inst. Math., 1929 (1973), 20–24
1972
15.
В. П. Оревков, “Неразрешимые классы формул для конструктивного исчисления предикатов. I”, Тр. МИАН СССР, 121 (1972), 100–108; V. P. Orevkov, “Undecidable classes of formulas for the constructive predicate calculus. I”, Proc. Steklov Inst. Math., 121 (1972), 111–119
16.
С. Ю. Маслов, В. П. Оревков, “Разрешимые классы, сводящиеся к однокванторному классу”, Тр. МИАН СССР, 121 (1972), 57–66; S. Yu. Maslov, V. P. Orevkov, “Decidable classes that reduce to a single quantifier class”, Proc. Steklov Inst. Math., 121 (1972), 61–72
17.
В. П. Оревков, “Одна специализация формы вывода в генценовских исчислениях и ее приложения”, Зап. научн. сем. ЛОМИ, 32 (1972), 98–104
В. П. Оревков, “О биконъюнктивных классах сведения”, Зап. научн. сем. ЛОМИ, 20 (1971), 170–174
19.
В. П. Оревков, “О непрерывности конструктивных функционалов”, Зап. научн. сем. ЛОМИ, 20 (1971), 160–169
20.
В. П. Оревков, “Эквивалентность двух определений непрерывности”, Зап. научн. сем. ЛОМИ, 20 (1971), 145–159
1969
21.
В. П. Оревков, “Некоторые свойства гомеоморфизмов конструктивных метрических пространств”, Зап. научн. сем. ЛОМИ, 16 (1969), 157–164
22.
В. П. Оревков, “О неудлиняющих применениях правил для равенства”, Зап. научн. сем. ЛОМИ, 16 (1969), 152–156
23.
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Машинный алгорифм установления выводимости на основе обратного метода”, Зап. научн. сем. ЛОМИ, 16 (1969), 8–19
1968
24.
В. П. Оревков, “О гливенковских классах секвенций”, Тр. МИАН СССР, 98 (1968), 131–154; V. P. Orevkov, “On Glivenko sequent classes”, Proc. Steklov Inst. Math., 98 (1968), 147–173
В. П. Оревков, “Два неразрешимых класса формул классического исчисления предикатов”, Зап. научн. сем. ЛОМИ, 8 (1968), 202–210
26.
В. П. Оревков, “Гливенковские классы секвенций”, Зап. научн. сем. ЛОМИ, 8 (1968), 196–201
1967
27.
В. П. Оревков, “О некоторых типах непрерывности конструктивных операторов”, Тр. МИАН СССР, 93 (1967), 164–186; V. P. Orevkov, “On certain types of continuity of constructive operators”, Proc. Steklov Inst. Math., 93 (1970), 211–239
В. П. Оревков, “О конструктивных отображениях конечных полиэдров”, Тр. МИАН СССР, 93 (1967), 142–163
29.
В. П. Оревков, “Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную
предикатную переменную”, Зап. научн. сем. ЛОМИ, 4 (1967), 168–173
30.
Г. Е. Минц, В. П. Оревков, “О погружающих операциях”, Зап. научн. сем. ЛОМИ, 4 (1967), 160–167
В. П. Оревков, “Неразрешимость в конструктивном исчислении предикатов класса формул типа $\daleth\daleth\forall\exists$”, Докл. АН СССР, 163:3 (1965), 581–583
32.
С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, “Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих
только одноместные предикатные переменные”, Докл. АН СССР, 163:2 (1965), 295–297
33.
В. П. Оревков, “Некоторые классы сведения и разрешимые классы секвенций для конструктивного исчисления предикатов”, Докл. АН СССР, 163:1 (1965), 30–32
1964
34.
В. П. Оревков, “Некоторые вопросы теории полиномов с конструктивными вещественными коэффициентами”, Тр. МИАН СССР, 72 (1964), 462–487
35.
В. П. Оревков, “О конструктивных отображениях круга в себя”, Тр. МИАН СССР, 72 (1964), 437–461
1963
36.
Г. Е. Минц, В. П. Оревков, “Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов”, Докл. АН СССР, 152:3 (1963), 553–554
37.
В. П. Оревков, “О конструктивных отображениях полиэдров”, Докл. АН СССР, 152:2 (1963), 278–281
38.
В. П. Оревков, “Конструктивное отображение квадрата в себя, сдвигающее каждую конструктивную точку”, Докл. АН СССР, 152:1 (1963), 55–58
2023
39.
С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561
2013
40.
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013), 173–176; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767
2001
41.
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001), 181–184; M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605
Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к семидесятилетию со дня рождения)”, УМН, 45:1(271) (1990), 205–206; Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Russian Math. Surveys, 45:1 (1990), 239–240
Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин, “Сергей Юрьевич Маслов (некролог)”, УМН, 39:2(236) (1984), 129–130; G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Russian Math. Surveys, 39:2 (1984), 133–135
С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию
со дня рождения)”, УМН, 35:2(212) (1980), 241–245; S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282
В. П. Оревков, “Предисловие редактора”, Тр. МИАН СССР, 121 (1972), 4
1968
46.
В. П. Оревков, “Предисловие редактора”, Тр. МИАН СССР, 98 (1968), 3–4
Книги в базе данных Math-Net.Ru
Исследования по конструктивной математике и математической логике. XII, Посвящается памяти Николая Александровича ШАНИНА, Зап. научн. сем. ПОМИ, 407, ред. В. П. Оревков, 2012, 131 с. http://mi.mathnet.ru/book1466
Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ред. Е. Я. Данцин, В. П. Оревков, 1997 http://mi.mathnet.ru/book334
Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ред. Е. Я. Данцин, В. П. Оревков, 1995, 149 с. http://mi.mathnet.ru/book922
Теоретические применения методов математической логики. III, Зап. научн. сем. ЛОМИ, 105, ред. Д. Ю. Григорьев, В. П. Оревков, 1981, 200 с. http://mi.mathnet.ru/book811
Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, ред. Г. Е. Минц, В. П. Оревков, 1977, 150 с. http://mi.mathnet.ru/book502
Проблемы конструктивного направления в математике. 6, Тр. МИАН СССР, 129, ред. В. П. Оревков, Н. А. Шанин, С. М. Никольский, 1973, 271 с. http://mi.mathnet.ru/book1305
С. М. Никольский, Логические и логико-математические исчисления. 2, Тр. МИАН СССР, 121, ред. В. П. Оревков, 1972, 168 с. http://mi.mathnet.ru/book1295
Проблемы конструктивного направления в математике. 5, Тр. МИАН СССР, 113, ред. В. П. Оревков, Н. А. Шанин, И. Г. Петровский, 1970, 265 с. http://mi.mathnet.ru/book1283
Логические и логико-математические исчисления. I, Тр. МИАН СССР, 98, ред. В. П. Оревков, И. Г. Петровский, 1968, 208 с. http://mi.mathnet.ru/book1257
Проблемы конструктивного направления в математике. 4, Сборник работ, Тр. МИАН СССР, 93, ред. В. П. Оревков, Н. А. Шанин, И. Г. Петровский, 1967, 270 с. http://mi.mathnet.ru/book1222
Обратная связь: