On the main scientific achievements of Victor Selivanov

Issue title: Special issue on the occasion of Victor Selivanov’s 70th birthday

Guest editors: Nikolay Bazhenov, Takayuki Kihara and Svetlana Selivanova

Article type: Research Article

Authors: Bazhenov, Nikolay^{a; *} | Kihara, Takayuki^b | Selivanova, Svetlana^c | Spreen, Dieter^d

Affiliations: [a] Mathematical Center in Akademgorodok, Sobolev Institute of Mathematics, Russia | [b] Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University, Japan | [c] Department of Mathematics and Computer Science, St. Petersburg University, Russia | [d] Department of Mathematics, University of Siegen, Germany

Correspondence: [*] Corresponding author. nickbazh@yandex.ru.

Abstract: This survey paper summarizes the main results of Professor Victor Selivanov’s research, which together highlight the important advances he achieved in mathematical logic and theoretical computer science.

Keywords: Computability theory, numbering theory, hierarchies, degrees, theory of formal languages, complexity theory, descriptive set theory, Wadge degrees, domain theory, asymmetric topology, quasi-Polish spaces, computable analysis

DOI: 10.3233/COM-230951

Journal: Computability, vol. 12, no. 4, pp. 301-314, 2023