{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:57:11Z","timestamp":1757624231979,"version":"3.44.0"},"reference-count":37,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2023,12,21]]},"abstract":"<jats:p>This survey paper summarizes the main results of Professor Victor Selivanov\u2019s research, which together highlight the important advances he achieved in mathematical logic and theoretical computer science.<\/jats:p>","DOI":"10.3233\/com-230951","type":"journal-article","created":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T12:16:29Z","timestamp":1702988189000},"page":"301-314","source":"Crossref","is-referenced-by-count":0,"title":["On the main scientific achievements of Victor Selivanov"],"prefix":"10.1177","volume":"12","author":[{"given":"Nikolay","family":"Bazhenov","sequence":"first","affiliation":[{"name":"Mathematical Center in Akademgorodok, Sobolev Institute of Mathematics, Russia"}]},{"given":"Takayuki","family":"Kihara","sequence":"additional","affiliation":[{"name":"Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University, Japan"}]},{"given":"Svetlana","family":"Selivanova","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, St. Petersburg University, Russia"}]},{"given":"Dieter","family":"Spreen","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Siegen, Germany"}]}],"member":"179","reference":[{"issue":"2","key":"10.3233\/COM-230951_ref1","doi-asserted-by":"publisher","first-page":"175","DOI":"10.4064\/fm177-2-5","volume":"177","author":"Andretta","year":"2003","journal-title":"Borel-Wadge degrees. Fund. Math."},{"issue":"1","key":"10.3233\/COM-230951_ref2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1017\/jsl.2019.39","article-title":"On isomorphism classes of computably enumerable equivalence relations","volume":"85","author":"Andrews","year":"2020","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"10.3233\/COM-230951_ref3","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1017\/S1755020319000273","article-title":"Effective inseparability, lattices, and preordering relations","volume":"14","author":"Andrews","year":"2021","journal-title":"Review of Symbolic Logic"},{"issue":"4","key":"10.3233\/COM-230951_ref4","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1134\/S1995080221040041","article-title":"Fixed-point selection functions","volume":"42","author":"Arslanov","year":"2021","journal-title":"Lobachevskii Journal of Mathematics"},{"key":"10.3233\/COM-230951_ref5","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/257\/04025"},{"issue":"10","key":"10.3233\/COM-230951_ref6","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1016\/j.apal.2019.04.013","article-title":"Fixed point theorems for precomplete numberings","volume":"170","author":"Barendregt","year":"2019","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"10.3233\/COM-230951_ref7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1017\/bsl.2019.20","article-title":"Foundations of online structure theory","volume":"25","author":"Bazhenov","year":"2019","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.3233\/COM-230951_ref8","doi-asserted-by":"crossref","unstructured":"N.\u00a0Bazhenov, M.\u00a0Harrison-Trainor and A.\u00a0Melnikov, Computable Stone spaces, Ann. Pure Appl. Logic 174(9) (2023), Paper No. 103304, 25.","DOI":"10.1016\/j.apal.2023.103304"},{"issue":"7","key":"10.3233\/COM-230951_ref9","doi-asserted-by":"publisher","first-page":"1490","DOI":"10.1017\/S096012951300025X","article-title":"Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization","volume":"25","author":"Becher","year":"2015","journal-title":"Math. Structures Comput. Sci."},{"issue":"3","key":"10.3233\/COM-230951_ref10","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/BF00968176","article-title":"Reducibility by Zhegalkin-linear tables","volume":"21","author":"Bulitko","year":"1980","journal-title":"Siberian Mathematical Journal"},{"issue":"3","key":"10.3233\/COM-230951_ref11","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1016\/j.apal.2012.11.001","article-title":"Quasi-Polish spaces","volume":"164","author":"de\u00a0Brecht","year":"2013","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"10.3233\/COM-230951_ref12","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1017\/bsl.2023.16","article-title":"Computably compact metric spaces","volume":"29","author":"Downey","year":"2023","journal-title":"Bull. Symb. Log."},{"key":"10.3233\/COM-230951_ref13","unstructured":"Y.L.\u00a0Ershov, Theory of Numberings, Nauka, Moscow, 1977 (in Russian)."},{"key":"10.3233\/COM-230951_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(99)80030-5"},{"issue":"3","key":"10.3233\/COM-230951_ref15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.3233\/COM-210387","article-title":"Numberings, c.e. oracles, and fixed points","volume":"12","author":"Faizrahmanov","year":"2023","journal-title":"Computability"},{"issue":"1","key":"10.3233\/COM-230951_ref16","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1006\/inco.2001.2922","article-title":"Learning by the process of elimination","volume":"176","author":"Freivalds","year":"2002","journal-title":"Information and Computation"},{"key":"10.3233\/COM-230951_ref17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.tcs.2015.11.042","article-title":"Reducibilities among equivalence relations induced by recursively enumerable structures","volume":"612","author":"Gavryushkin","year":"2016","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10.3233\/COM-230951_ref18","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/j.apal.2005.02.001","article-title":"Enumerations in computable structure theory","volume":"136","author":"Goncharov","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"10.3233\/COM-230951_ref19","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1017\/jsl.2020.67","article-title":"Computability of Polish spaces up to homeomorphism","volume":"85","author":"Harrison-Trainor","year":"2020","journal-title":"J. Symb. Log."},{"key":"10.3233\/COM-230951_ref20","unstructured":"P.\u00a0Hertling, Topologische Komplexit\u00e4tsgrade von Funktionen mit endlichem Bild, Informatik-Berichte, Vol.\u00a0152, FernUniversit\u00e4t in Hagen, Hagen, 1993."},{"issue":"4","key":"10.3233\/COM-230951_ref21","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.2307\/2274273","article-title":"Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers","volume":"49","author":"Jockusch","year":"1984","journal-title":"Journal of Symbolic Logic"},{"key":"10.3233\/COM-230951_ref22","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.tcs.2017.01.029","article-title":"Algebraic structures computable without delay","volume":"674","author":"Kalimullin","year":"2017","journal-title":"Theoretical Computer Science"},{"issue":"11","key":"10.3233\/COM-230951_ref23","doi-asserted-by":"publisher","first-page":"7885","DOI":"10.1090\/tran\/7621","article-title":"On the structure of the Wadge degrees of bqo-valued Borel functions","volume":"371","author":"Kihara","year":"2019","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.3233\/COM-230951_ref24","unstructured":"K.I.\u00a0Ko, Complexity Theory of Real Functions, Progress in Theoretical Computer Science, Birkh\u00e4user, Boston, 1991."},{"key":"10.3233\/COM-230951_ref25","doi-asserted-by":"crossref","unstructured":"M.V.\u00a0Korovina and O.V.\u00a0Kudinov, The Rice\u2013Shapiro theorem in computable topology, Logical Methods in Computer Science 13(4) (2017).","DOI":"10.1007\/978-3-319-74313-4_18"},{"key":"10.3233\/COM-230951_ref26","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.jalgebra.2022.10.003","article-title":"Computable topological Abelian groups","volume":"615","author":"Lupini","year":"2023","journal-title":"J. Algebra"},{"key":"10.3233\/COM-230951_ref27","unstructured":"A.I.\u00a0Mal\u2019tsev, Completely numbered sets, Algebra and Logic 2(2) (1963) (in Russian)."},{"issue":"5","key":"10.3233\/COM-230951_ref28","doi-asserted-by":"publisher","first-page":"882","DOI":"10.33048\/smzh.2021.62.511","article-title":"New degree spectra of Polish spaces","volume":"62","author":"Melnikov","year":"2021","journal-title":"Sib. Math. J."},{"issue":"1","key":"10.3233\/COM-230951_ref29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.2178\/jsl\/1231082301","article-title":"Borel-amenable reducibilities for sets of reals","volume":"74","author":"Motto Ros","year":"2009","journal-title":"J. Symbolic Logic"},{"key":"10.3233\/COM-230951_ref30","doi-asserted-by":"crossref","unstructured":"D.\u00a0Normann, Recursion on the Countable Functionals, Lecture Notes in Mathematics, Vol.\u00a0811, Springer, Berlin, 1980.","DOI":"10.1007\/BFb0098600"},{"issue":"5\u20136","key":"10.3233\/COM-230951_ref32","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s00153-015-0434-y","article-title":"A Wadge hierarchy for second countable spaces","volume":"54","author":"Pequignot","year":"2015","journal-title":"Arch. Math. Logic"},{"key":"10.3233\/COM-230951_ref33","doi-asserted-by":"crossref","unstructured":"S.\u00a0Selivanova, Computational complexity of classical solutions of partial differential equations, in: Proceedings of Computability in Europe (CiE 2022), Lecture Notes in Computer Science, Vol.\u00a013359, 2022, pp.\u00a0299\u2013312.","DOI":"10.1007\/978-3-031-08740-0_25"},{"key":"10.3233\/COM-230951_ref34","doi-asserted-by":"crossref","unstructured":"D.\u00a0Spreen, Life and work of Victor L. Selivanov, in: Logic, Computation, Hierarchies, V.\u00a0Brattka, H.\u00a0Diener and D.\u00a0Spreen, eds, 2014, pp.\u00a01\u20138.","DOI":"10.1515\/9781614518044.1"},{"key":"10.3233\/COM-230951_ref35","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/065\/891249"},{"key":"10.3233\/COM-230951_ref36","unstructured":"R.A.\u00a0Van Wesep, Subsystems of Second-Order Arithmetic, and Descriptive Set Theory Under the Axiom of Determinateness, ProQuest LLC, Ann Arbor, MI, 1977. Thesis (Ph.D.)\u2013University of California, Berkeley."},{"key":"10.3233\/COM-230951_ref37","unstructured":"W.W.\u00a0Wadge, Reducibility and Determinateness on the Baire Space, ProQuest LLC, Ann Arbor, MI, 1983. Thesis (Ph.D.)\u2013University of California, Berkeley."},{"key":"10.3233\/COM-230951_ref38","doi-asserted-by":"crossref","unstructured":"K.\u00a0Weihrauch, Computable Analysis, Springer, Berlin, 2000.","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-230951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T12:22:17Z","timestamp":1757420537000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-230951"}},"subtitle":[],"editor":[{"given":"Nikolay","family":"Bazhenov","sequence":"additional","affiliation":[]},{"given":"Takayuki","family":"Kihara","sequence":"additional","affiliation":[]},{"given":"Svetlana","family":"Selivanova","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2023,12,21]]},"references-count":37,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/com-230951","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"type":"electronic","value":"2211-3576"},{"type":"print","value":"2211-3568"}],"subject":[],"published":{"date-parts":[[2023,12,21]]}}}