Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Оревков Владимир Павлович

В базах данных Math-Net.Ru
Публикаций: 45
Научных статей: 38

Статистика просмотров:
Эта страница:917
Страницы публикаций:7340
Полные тексты:3699
Списки литературы:172
старший научный сотрудник
доктор физико-математических наук (1991)
Специальность ВАК: 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.

http://www.mathnet.ru/rus/person17550
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/202739

Публикации в базе данных Math-Net.Ru
2020
1. В. П. Оревков, “Верхние и нижние оценки высот секвенциальных доказательств в интуиционистском исчислении”, Зап. научн. сем. ПОМИ, 497 (2020),  124–169  mathnet
2012
2. В. П. Оревков, “Правило сечения в методе резолюций”, Зап. научн. сем. ПОМИ, 407 (2012),  111–128  mathnet  mathscinet; V. P. Orevkov, “Cut for resolution method”, J. Math. Sci. (N. Y.), 199:1 (2014), 56–65  scopus
2004
3. В. П. Оревков, “Новый разрешимый хорновский фрагмент исчисления предикатов”, Зап. научн. сем. ПОМИ, 316 (2004),  147–162  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; V. P. Orevkov, “Schemes of proof in Hilbert-type axiomatic theories”, J. Soviet Math., 55:2 (1991), 1610–1620
1987
6. В. П. Оревков, “Применения устранения сечений для получения оценок длин доказательств”, Докл. АН СССР, 296:3 (1987),  539–542  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath
8. В. П. Оревков, “Восстановление доказательства по его схеме”, Докл. АН СССР, 293:2 (1987),  313–316  mathnet  mathscinet  zmath
1984
9. В. П. Оревков, “Верхние оценки удлинения выводов при устранении сечений”, Зап. научн. сем. ЛОМИ, 137 (1984),  87–98  mathnet  mathscinet  zmath
1979
10. В. П. Оревков, “Три способа выявления несущественных формул в секвенциях”, Зап. научн. сем. ЛОМИ, 88 (1979),  163–175  mathnet  mathscinet  zmath; V. P. Orevkov, “Three ways of recognizing essential formulas in sequents”, J. Soviet Math., 20:4 (1982), 2351–2357
11. В. П. Оревков, “Нижние оценки увеличения сложности выводов после устранения сечений”, Зап. научн. сем. ЛОМИ, 88 (1979),  137–162  mathnet  mathscinet  zmath; V. P. Orevkov, “Lower bounds for lengthening of proofs after cut-elimination”, J. Soviet Math., 20:4 (1982), 2337–2350
1976
12. В. П. Оревков, “Разрешимые классы псевдопредваренных формул”, Зап. научн. сем. ЛОМИ, 60 (1976),  109–170  mathnet  mathscinet  zmath; V. P. Orevkov, “Solvable classes of pseudoprenex formulas”, J. Soviet Math., 14:5 (1980), 1497–1538
1974
13. В. П. Оревков, “Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной”, Зап. научн. сем. ЛОМИ, 40 (1974),  119–126  mathnet  mathscinet  zmath
1973
14. В. П. Оревков, “О сложности разложения алгебраических иррациональностей в непрерывные дроби”, Тр. МИАН СССР, 129 (1973),  24–29  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet
1971
18. В. П. Оревков, “О биконъюнктивных классах сведения”, Зап. научн. сем. ЛОМИ, 20 (1971),  170–174  mathnet  mathscinet  zmath
19. В. П. Оревков, “О непрерывности конструктивных функционалов”, Зап. научн. сем. ЛОМИ, 20 (1971),  160–169  mathnet  mathscinet  zmath
20. В. П. Оревков, “Эквивалентность двух определений непрерывности”, Зап. научн. сем. ЛОМИ, 20 (1971),  145–159  mathnet  mathscinet  zmath
1969
21. В. П. Оревков, “Некоторые свойства гомеоморфизмов конструктивных метрических пространств”, Зап. научн. сем. ЛОМИ, 16 (1969),  157–164  mathnet  mathscinet  zmath
22. В. П. Оревков, “О неудлиняющих применениях правил для равенства”, Зап. научн. сем. ЛОМИ, 16 (1969),  152–156  mathnet  mathscinet  zmath
23. Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Машинный алгорифм установления выводимости на основе обратного метода”, Зап. научн. сем. ЛОМИ, 16 (1969),  8–19  mathnet  mathscinet  zmath
1968
24. В. П. Оревков, “О гливенковских классах секвенций”, Тр. МИАН СССР, 98 (1968),  131–154  mathnet  mathscinet  zmath; V. P. Orevkov, “On Glivenko sequent classes”, Proc. Steklov Inst. Math., 98 (1968), 147–173
25. В. П. Оревков, “Два неразрешимых класса формул классического исчисления предикатов”, Зап. научн. сем. ЛОМИ, 8 (1968),  202–210  mathnet  mathscinet  zmath
26. В. П. Оревков, “Гливенковские классы секвенций”, Зап. научн. сем. ЛОМИ, 8 (1968),  196–201  mathnet  mathscinet  zmath
1967
27. В. П. Оревков, “О некоторых типах непрерывности конструктивных операторов”, Тр. МИАН СССР, 93 (1967),  164–186  mathnet  mathscinet  zmath; V. P. Orevkov, “On certain types of continuity of constructive operators”, Proc. Steklov Inst. Math., 93 (1970), 211–239
28. В. П. Оревков, “О конструктивных отображениях конечных полиэдров”, Тр. МИАН СССР, 93 (1967),  142–163  mathnet  mathscinet
29. В. П. Оревков, “Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную”, Зап. научн. сем. ЛОМИ, 4 (1967),  168–173  mathnet  mathscinet  zmath
30. Г. Е. Минц, В. П. Оревков, “О погружающих операциях”, Зап. научн. сем. ЛОМИ, 4 (1967),  160–167  mathnet  mathscinet  zmath
1965
31. В. П. Оревков, “Неразрешимость в конструктивном исчислении предикатов класса формул типа $\daleth\daleth\forall\exists$”, Докл. АН СССР, 163:3 (1965),  581–583  mathnet  mathscinet  zmath
32. С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, “Неразрешимость в конструктивном исчислении предикатов некоторых классов формул, содержащих только одноместные предикатные переменные”, Докл. АН СССР, 163:2 (1965),  295–297  mathnet  mathscinet  zmath
33. В. П. Оревков, “Некоторые классы сведения и разрешимые классы секвенций для конструктивного исчисления предикатов”, Докл. АН СССР, 163:1 (1965),  30–32  mathnet  mathscinet  zmath
1964
34. В. П. Оревков, “Некоторые вопросы теории полиномов с конструктивными вещественными коэффициентами”, Тр. МИАН СССР, 72 (1964),  462–487  mathnet  mathscinet  zmath
35. В. П. Оревков, “О конструктивных отображениях круга в себя”, Тр. МИАН СССР, 72 (1964),  437–461  mathnet  mathscinet  zmath
1963
36. Г. Е. Минц, В. П. Оревков, “Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов”, Докл. АН СССР, 152:3 (1963),  553–554  mathnet  mathscinet
37. В. П. Оревков, “О конструктивных отображениях полиэдров”, Докл. АН СССР, 152:2 (1963),  278–281  mathnet  mathscinet  zmath
38. В. П. Оревков, “Конструктивное отображение квадрата в себя, сдвигающее каждую конструктивную точку”, Докл. АН СССР, 152:1 (1963),  55–58  mathnet  mathscinet  zmath

2013
39. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; 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  isi  elib  scopus
2001
40. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001),  181–184  mathnet  mathscinet  zmath; 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  isi
1990
41. Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к семидесятилетию со дня рождения)”, УМН, 45:1(271) (1990),  205–206  mathnet  mathscinet  zmath; 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  isi
1984
42. Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин, “Сергей Юрьевич Маслов (некролог)”, УМН, 39:2(236) (1984),  129–130  mathnet  mathscinet; 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  isi
1980
43. С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию со дня рождения)”, УМН, 35:2(212) (1980),  241–245  mathnet  mathscinet  zmath; 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  isi
1972
44. В. П. Оревков, “Предисловие редактора”, Тр. МИАН СССР, 121 (1972),  4  mathnet
1968
45. В. П. Оревков, “Предисловие редактора”, Тр. МИАН СССР, 98 (1968),  3–4  mathnet

Книги в базе данных Math-Net.Ru
  1. Исследования по конструктивной математике и математической логике. XII, Посвящается памяти Николая Александровича ШАНИНА, Зап. научн. сем. ПОМИ, 407, ред. В. П. Оревков, 2012, 131 с.
    http://mi.mathnet.ru/book1466
  2. Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ред. Е. Я. Данцин, В. П. Оревков, 1997
    http://mi.mathnet.ru/book334
  3. Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ред. Е. Я. Данцин, В. П. Оревков, 1995, 149 с.
    http://mi.mathnet.ru/book922
  4. Теоретические применения методов математической логики. III, Зап. научн. сем. ЛОМИ, 105, ред. Д. Ю. Григорьев, В. П. Оревков, 1981, 200 с.
    http://mi.mathnet.ru/book811
  5. Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, ред. Г. Е. Минц, В. П. Оревков, 1977, 150 с.
    http://mi.mathnet.ru/book502
  6. Проблемы конструктивного направления в математике. 6, Тр. МИАН СССР, 129, ред. В. П. Оревков, Н. А. Шанин, С. М. Никольский, 1973, 271 с.
    http://mi.mathnet.ru/book1305
  7. С. М. Никольский, Логические и логико-математические исчисления. 2, Тр. МИАН СССР, 121, ред. В. П. Оревков, 1972, 168 с.
    http://mi.mathnet.ru/book1295
  8. Проблемы конструктивного направления в математике. 5, Тр. МИАН СССР, 113, ред. В. П. Оревков, Н. А. Шанин, И. Г. Петровский, 1970, 265 с.
    http://mi.mathnet.ru/book1283
  9. Логические и логико-математические исчисления. I, Тр. МИАН СССР, 98, ред. В. П. Оревков, И. Г. Петровский, 1968, 208 с.
    http://mi.mathnet.ru/book1257
  10. Проблемы конструктивного направления в математике. 4, Сборник работ, Тр. МИАН СССР, 93, ред. В. П. Оревков, Н. А. Шанин, И. Г. Петровский, 1967, 270 с.
    http://mi.mathnet.ru/book1222

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022