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

В базах данных Math-Net.Ru
Публикаций: 42
Научных статей: 40
Лекций и докладов: 7

Статистика просмотров:
Эта страница:3966
Страницы публикаций:8913
Полные тексты:2888
Списки литературы:766
доктор физико-математических наук
E-mail: , ,

https://www.mathnet.ru/rus/person25638
Список публикаций на Google Scholar
https://zbmath.org/authors/ai:selivanov.victor-l
https://mathscinet.ams.org/mathscinet/MRAuthorID/195695

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. II”, Алгебра и логика, 60:6 (2021),  533–548  mathnet 2
2. V. L. Selivanov, “Effective Wadge hierarchy in computable quasi-Polish spaces”, Сиб. электрон. матем. изв., 18:1 (2021),  121–135  mathnet  isi 3
2019
3. П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. I”, Алгебра и логика, 58:6 (2019),  673–705  mathnet; P. E. Alaev, V. L. Selivanov, “Fields of algebraic numbers computable in polynomial time. I”, Algebra and Logic, 58:6 (2020), 447–469  isi  scopus 18
2018
4. В. Л. Селиванов, М. М. Ямалеев, “О тьюринговых степенях в утончениях арифметической иерархии”, Алгебра и логика, 57:3 (2018),  338–361  mathnet; V. L. Selivanov, M. M. Yamaleev, “Turing degrees in refinements of the arithmetical hierarchy”, Algebra and Logic, 57:3 (2018), 222–236  isi  scopus 3
5. П. Е. Алаев, В. Л. Селиванов, “Полиномиальная вычислимость полей алгебраических чисел”, Докл. РАН, 481:4 (2018),  355–357  mathnet  zmath  elib; P. E. Alaev, V. L. Selivanov, “Polynomial computability of fields of algebraic numbers”, Dokl. Math., 98:1 (2018), 341–343  isi  elib  scopus 2
6. И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158 (2018),  23–39  mathnet  mathscinet; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159 2
7. В. Л. Селиванов, “Предполные нумерации”, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157 (2018),  106–134  mathnet  mathscinet; V. L. Selivanov, “Precomplete numberings”, J. Math. Sci. (N. Y.), 256:1 (2021), 96–124 4
2013
8. А. С. Коновалов, В. Л. Селиванов, “Булевы алгебры регулярных языков”, Алгебра и логика, 52:6 (2013),  676–711  mathnet  mathscinet; A. S. Konovalov, V. L. Selivanov, “Boolean algebras of regular languages”, Algebra and Logic, 52:6 (2014), 448–470  isi  scopus
2010
9. А. В. Жуков, О. В. Кудинов, В. Л. Селиванов, “Определимость операций замыкания в $h$-предпорядке размеченных лесов”, Алгебра и логика, 49:2 (2010),  181–194  mathnet  mathscinet  zmath; A. V. Zhukov, O. V. Kudinov, V. L. Selivanov, “Definability of closure operations in the $h$-quasiorder of labeled forests”, Algebra and Logic, 49:2 (2010), 120–129  isi  scopus 1
10. О. В. Кудинов, В. Л. Селиванов, Л. В. Ярцева, “Определимость в структуре слов с отношением включения”, Сиб. матем. журн., 51:3 (2010),  575–583  mathnet  mathscinet  zmath; O. V. Kudinov, V. L. Selivanov, L. V. Yartseva, “Definability in the structure of words with the inclusion relation”, Siberian Math. J., 51:3 (2010), 456–462  isi  scopus 1
2007
11. В. Л. Селиванов, “Фактор-алгебра размеченных лесов по отношению $h$-эквивалентности”, Алгебра и логика, 46:2 (2007),  217–243  mathnet  mathscinet  zmath  elib; V. L. Selivanov, “The quotient algebra of labeled forests modulo $h$-equivalence”, Algebra and Logic, 46:2 (2007), 120–133  isi  elib  scopus 14
2005
12. В. Л. Селиванов, “О классификации счётных булевых термов”, Алгебра и логика, 44:2 (2005),  173–197  mathnet  mathscinet  zmath; V. L. Selivanov, “Classifying Countable Boolean Terms”, Algebra and Logic, 44:2 (2005), 95–108  scopus 4
13. В. Л. Селиванов, “Вариации на тему сводимости Вэджа”, Матем. тр., 8:1 (2005),  135–175  mathnet  mathscinet  zmath; V. L. Selivanov, “Variations on the Wadge Reducibility”, Siberian Adv. Math., 15:3 (2005), 44–80 16
2004
14. В. Л. Селиванов, “Разностная иерархия в $\varphi$-пространствах”, Алгебра и логика, 43:4 (2004),  425–444  mathnet  mathscinet  zmath; V. L. Selivanov, “Difference Hierarchy in $\varphi$-Spaces”, Algebra and Logic, 43:3 (2004), 238–248  scopus 17
15. В. Л. Селиванов, “Булевы иерархии разбиений над редуцируемой базой”, Алгебра и логика, 43:1 (2004),  77–109  mathnet  mathscinet  zmath; V. L. Selivanov, “Boolean Hierarchies of Partitions over a Reducible Base”, Algebra and Logic, 43:1 (2004), 44–61  scopus 32
2002
16. В. Л. Селиванов, “О разрешимости классов иерархий регулярных апериодических языков”, Алгебра и логика, 41:5 (2002),  610–631  mathnet  mathscinet  zmath; V. L. Selivanov, “Decidability of Hierarchies of Regular Aperiodic Languages”, Algebra and Logic, 41:5 (2002), 337–348  scopus 1
1999
17. В. Л. Селиванов, “Утончения полиномиальной иерархии”, Алгебра и логика, 38:4 (1999),  456–475  mathnet  mathscinet 5
1992
18. В. Л. Селиванов, “Предполные нумерации и функции без неподвижных точек”, Матем. заметки, 51:1 (1992),  149–155  mathnet  mathscinet  zmath; V. L. Selivanov, “Precomplete numberings and functions without fixed points”, Math. Notes, 51:1 (1992), 95–99  isi 3
1991
19. В. Л. Селиванов, “Тонкая иерархия и определимые индексные множества”, Алгебра и логика, 30:6 (1991),  705–725  mathnet  mathscinet 11
20. В. Л. Селиванов, “Тонкая иерархия формул”, Алгебра и логика, 30:5 (1991),  568–582  mathnet  mathscinet 5
21. В. Л. Селиванов, “Скачки некоторых классов $\Delta^0_2$-множеств”, Матем. заметки, 50:6 (1991),  122–125  mathnet  mathscinet  zmath; V. L. Selivanov, “Jumps of certain classes of $\Delta^0_2$-sets”, Math. Notes, 50:6 (1991), 1299–1300  isi 1
1990
22. В. Л. Селиванов, “Индексные множества классов гипер-гиперпростых множеств”, Алгебра и логика, 29:2 (1990),  220–240  mathnet  mathscinet 5
1989
23. В. Л. Селиванов, “Применения предполных нумераций к степеням табличного типа и индексным множествам”, Алгебра и логика, 28:1 (1989),  75–82  mathnet  mathscinet 4
24. В. Л. Селиванов, “Тонкие иерархии арифметических множеств и определимые индексные множества”, Тр. Ин-та математики, 12 (1989),  165–185  mathnet  mathscinet  zmath
25. С. П. Одинцов, В. Л. Селиванов, “Арифметическая иерархия и идеалы нумерованных булевых алгебр”, Сиб. матем. журн., 30:6 (1989),  140–149  mathnet  mathscinet  zmath; S. P. Odintsov, V. L. Selivanov, “The arithmetical hierarchy and ideals of enumerated Boolean algebras”, Siberian Math. J., 30:6 (1989), 952–960  isi 12
1988
26. В. Л. Селиванов, “Иерархия Ершова и $\mathrm{T}$-скачок”, Алгебра и логика, 27:4 (1988),  464–478  mathnet  mathscinet 2
27. В. Л. Селиванов, “Индексные множества фактор-объектов нумерации Поста”, Алгебра и логика, 27:3 (1988),  343–358  mathnet  mathscinet 15
28. В. Л. Селиванов, “Об алгоритмической сложности алгебраических систем”, Матем. заметки, 44:6 (1988),  823–832  mathnet  mathscinet  zmath; V. L. Selivanov, “Algorithmic complexity of algebraic systems”, Math. Notes, 44:6 (1988), 944–950  isi 8
1987
29. В. Л. Селиванов, “Группы автоморфизмов нумерованных множеств”, Матем. заметки, 41:4 (1987),  592–597  mathnet  mathscinet  zmath; V. L. Selivanov, “Automorphism groups of numbered sets”, Math. Notes, 41:4 (1987), 330–333  isi 1
1985
30. В. Л. Селиванов, “Об иерархии Ершова”, Сиб. матем. журн., 26:1 (1985),  134–149  mathnet  mathscinet  zmath; V. L. Selivanov, “The Ershov hierarchy”, Siberian Math. J., 26:1 (1985), 105–117  isi 14
1984
31. В. Л. Селиванов, “Об иерархии предельных вычислений”, Сиб. матем. журн., 25:5 (1984),  146–156  mathnet  mathscinet  zmath; V. L. Selivanov, “On the hierarchy of limit computations”, Siberian Math. J., 25:5 (1984), 798–806  isi 4
32. В. Л. Селиванов, “Индексные множества в гиперарифметической иерархии”, Сиб. матем. журн., 25:3 (1984),  164–181  mathnet  mathscinet  zmath; V. L. Selivanov, “Index sets in the hyperarithmetical hierarchy”, Siberian Math. J., 25:3 (1984), 474–488  isi 8
1983
33. В. Л. Селиванов, “Иерархии гиперарифметических множеств и функций”, Алгебра и логика, 22:6 (1983),  666–692  mathnet  mathscinet 5
1982
34. В. Л. Селиванов, “О структуре степеней обобщенных индексных множеств”, Алгебра и логика, 21:4 (1982),  472–491  mathnet  mathscinet 6
35. В. Л. Селиванов, “Об индексных множествах в иерархии Клини–Мостовского”, Тр. Ин-та математики, 2 (1982),  135–158  mathnet  mathscinet  zmath
1979
36. В. Л. Селиванов, “О структуре степеней неразрешимости индексных множеств”, Алгебра и логика, 18:4 (1979),  463–480  mathnet  mathscinet 3
1978
37. В. Л. Селиванов, “Несколько замечаний о классах рекурсивно-перечислимых множеств”, Сиб. матем. журн., 19:1 (1978),  153–160  mathnet  mathscinet  zmath; V. L. Selivanov, “Several remarks on classes of recursively enumerable sets”, Siberian Math. J., 19:1 (1978), 109–114  isi 5
1977
38. В. Л. Селиванов, “О нумерациях канонически вычислимых семейств конечных множеств”, Сиб. матем. журн., 18:6 (1977),  1373–1380  mathnet  mathscinet  zmath; V. L. Selivanov, “Enumerations of canonically computable families of finite sets”, Siberian Math. J., 18:6 (1977), 973–979  isi
1976
39. В. Л. Селиванов, “Две теоремы о вычислимых нумерациях”, Алгебра и логика, 15:4 (1976),  470–484  mathnet  mathscinet 4
40. В. Л. Селиванов, “О нумерациях семейств общерекурсивных функций”, Алгебра и логика, 15:2 (1976),  205–226  mathnet  mathscinet 3

2024
41. А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024),  189–193  mathnet  mathscinet; A. N. Abyzov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, I. Sh. Kalimullin, V. L. Selivanov, A. L. Semenov, A. Tuganbaev, M. Kh. Faizrahmanov, “Marat Mirzaevich Arslanov (on his eightieth birthday)”, Russian Math. Surveys, 79:2 (2024), 369–373  isi  scopus
2019
42. И. Ш. Калимуллин, В. Л. Селиванов, “К 75-летию профессора Марата Мирзаевича Арсланова”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 161:1 (2019),  152–160  mathnet  isi  elib

Доклады и лекции в базе данных Math-Net.Ru
1. Boole vs Wadge: comparing basic tools of descriptive set theory
В. Л. Селиванов
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
7 ноября 2022 г. 15:00   
2. A Mathematical Journey
Victor Selivanov
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
29 октября 2022 г. 17:40   
3. Primitive Recursive Ordered Fields and Some Applications
V. L. Selivanov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
4 октября 2021 г. 18:30   
4. Effective Wadge Hierarchy in Computable Quasi-Polish Spaces
В. Л. Селиванов
Конференция международных математических центров мирового уровня
9 августа 2021 г. 15:20
5. Complexity of structures
П. Е. Алаев, В. Л. Селиванов
Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
8 июля 2021 г. 12:45   
6. Вычисления с бесконечными данными. Лекция 4. Представление о вычислимом анализе
В. Л. Селиванов
Computer Science клуб при НГУ
28 ноября 2020 г. 13:50
7. Вычисления с бесконечными данными. Лекция 3. Автоматы и бесконечные игры
В. Л. Селиванов
Computer Science клуб при НГУ
28 ноября 2020 г. 12:00

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