Selivanov Viktor L'vovich

Presentations in Math-Net.Ru

1. On the height of homomorphic orders of finite labelled trees
   V. L. Selivanov, I. V. Smirnov
   
   December 11, 2025 16:00   
2. On constructive variants of Wadge reducibility
   V. L. Selivanov
   Seminars "Proof Theory" and "Logic Online Seminar"
   August 25, 2025 16:00   
3. Symbolic vs Numeric: relating computations in discrete and continuous structures
   V. L. Selivanov
   Joint Mathematical seminar of Saint Petersburg State University and Peking University
   March 27, 2025 15:00
4. Ordinal invariants of homomorphic quasiorders of k-labelled forests
   V. L. Selivanov, I. V. Smirnov
   Seminars "Proof Theory" and "Logic Online Seminar"
   March 24, 2025 16:00   
5. A Mathematical Journey
   Victor Selivanov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   October 29, 2022 17:40   
6. Primitive Recursive Ordered Fields and Some Applications
   V. L. Selivanov
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 4, 2021 18:30   
7. Complexity of structures
   P. E. Alaev, V. L. Selivanov
   Adian 90: Conference on Mathematical Logic, Algebra, and Computation
   July 8, 2021 12:45