Edit Profile (opens in new tab) Semënov, Alekseĭ L’vovich Co-Author Distance Author ID: semenov.aleksei-lvovich Published as: Semenov, A. L.; Semenov, Alexei L.; Semenov, Alexei; Semenov, Alekseĭ L’vovich; Semenov, Aleksei L.; Semenov, Aleksej; Semënov, A. L.; Semenov, A. more...less Further Spellings: Семёнов Алексей Львович Homepage: https://alsemenov.ru/ External Links: MGP · ORCID · Wikidata · Google Scholar · Math-Net.Ru · dblp Documents Indexed: 50 Publications since 1973, including 2 Books and 2 Additional arXiv Preprints 2 Contributions as Editor · 1 Further Contribution Reviewing Activity: 2 Reviews Biographic References: 2 Publications Co-Authors: 139 Co-Authors with 35 Joint Publications 3,822 Co-Co-Authors all top 5 Co-Authors 15 single-authored 8 Soprunov, Sergeĭ Fëdorovich 8 Uspenskiĭ, Vladimir Andreevich 7 Muchnik, Andrej A. 5 Beklemishev, Lev D. 4 Matiyasevich, Yuriĭ Vladimirovich 4 Razborov, Aleksandr Aleksandrovich 4 Shen’, A. Kh. 3 Andreev, Nikolaĭ Nikolaevich 3 Bukhshtaber, Viktor Matveevich 3 Chubarikov, Vladimir Nikolaevich 3 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich 3 Kozlov, Valeriĭ Vasil’evich 3 Lysenok, Igor’ Geront’evich 3 Nesterenko, Yuriĭ Valentinovich 3 Novikov, Sergeĭ Petrovich 3 Tikhomirov, Vladimir Mikhaĭlovich 2 Adyan, Sergeĭ Ivanovich 2 Arlazarov, Vladimir L’vovich 2 Atabekyan, Varuzhan S. 2 Chirskiĭ, Vladimir Grigor’evich 2 Dorichenko, S. A. 2 Ershov, Yuriĭ Leonidovich 2 Goncharov, Sergeĭ Savost’yanovich 2 Guba, Victor S. 2 Hirsch, Edward A. 2 Il’yashenko, Yuliĭ Sergeevich 2 Ivanov-Pogodaev, Ilya 2 Kanel’-Belov, Alekseĭ Yakovlevich 2 Khovanskiĭ, Askold Georgievich 2 Mal’tsev, Arkadiĭ Anatol’evich 2 Osipov, Yuriĭ Sergeevich 2 Pentus, Mati 2 Sadovnichiĭ, Viktor Antonovich 2 Shafarevich, Andreĭ Igorevich 1 Adelson-Velsky, Georgy 1 Agakhanov, N. Kh. 1 Alder, A. 1 Arkhangel’skiĭ, Dmitriĭ A. 1 Artemov, Sergei 1 Askhabov, Sultan Nazhmudinovich 1 Balaba, Irina Nikolaevna 1 Bārzdiņš, Jānis 1 Bauer, Friedrich Ludwig 1 Belegradek, Oleg V. 1 Belyaev, V. Ya. 1 Bokut, Leonid A. 1 Borkin, L. Ya. 1 Buda, A. 1 Bugaenko, V. O. 1 Bukhstaber, V. M. 1 Cherkassky, Boris V. 1 Chernyat’ev, Aleksandr Leonidovich 1 Chilikov, A. A. 1 Chinenova, Vera Nikolaevna 1 Daderkin, Dmitri O. 1 Dantsin, Evgeny 1 Dekhtyar, Alexander M. 1 Demidov, Sergeĭ Sergeevich 1 Dikovsky, Alexander Yakovlevich 1 Dinitz, E. A. 1 Dobrovol’skiĭ, Nikolai Nikolaevich 1 Domoshnitsky, Alexander I. 1 Dudakov, Sergey M. 1 Ershov, Andreĭ Petrovich 1 Faradzhev, Igor Aleksandrovich 1 Garber, Alexeĭ Igorevich 1 Gitik, Moti 1 Glushkov, Viktor Mikhaĭlovich 1 Gurevich, Yuri 1 Ibragimov, Il’dar Abdullovich 1 Imaikin, Valery 1 Ivanov, Aleksandr Olegovich 1 Kalinina, N. A. 1 Kalmens, E. V. 1 Karpenko, S. M. 1 Karzanov, Aleksandr V. 1 Kharitonov, M. I. 1 Kirillov, Alexandre Aleksandrovich 1 Knuth, Donald Ervin 1 Kolchev, A. A. 1 Komarov, S. I. 1 Konovalov, Sergeĭ Petrovich 1 Konstantinov, Nikolaĭ Nikolaevich 1 Koubenski, D. A. 1 Kozlov, Mykyta V. 1 Kreinovich, Vladik Yakovlevich 1 Kronrod, M. A. 1 Krushkal, Samuel L. 1 Kushnirenko, A. G. 1 Kutateladze, Semën Samsonovich 1 Kuznetsov, Oleg P. 1 Letychevs’kyĭ, Oleksandr Adol’fovych 1 Lodkin, A. A. 1 Lysov, Yu. P. 1 Malev, Sergey 1 Manin, Yuriĭ Ivanovich 1 Mikhalëv, Aleksandr Aleksandrovich 1 Mints, Grigoriĭ Efroimovich 1 Mishchenko, Sergeĭ Petrovich 1 Mitrofanov, Ivan Viktorovich ...and 59 more Co-Authors all top 5 Serials 11 Russian Mathematical Surveys 4 Soviet Mathematics. Doklady 4 Doklady Mathematics 4 Chebyshevskiĭ Sbornik 2 Mathematics of the USSR. Izvestiya 2 Theoretical Computer Science 2 Lecture Notes in Computer Science 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Physica A 1 Problems of Information Transmission 1 Theory of Probability and its Applications 1 Kybernetika 1 Programming and Computer Software 1 Siberian Mathematical Journal 1 Sibirskiĭ Matematicheskiĭ Zhurnal 1 Annals of Pure and Applied Logic 1 Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 1 Izvestiya: Mathematics 1 Logic Journal of the IGPL 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Mathematics and its Applications (Dordrecht) 1 Proceedings of the Steklov Institute of Mathematics all top 5 Fields 26 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 13 History and biography (01-XX) 4 General algebraic systems (08-XX) 3 Group theory and generalizations (20-XX) 3 Probability theory and stochastic processes (60-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 2 Information and communication theory, circuits (94-XX) 1 Field theory and polynomials (12-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 246 times in 211 Documents Cited by ▼ Year ▼ Mathematical metaphysics of randomness. Zbl 0922.60014 Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A. 36 1998 Can an individual sequence of zeros and ones be random? Zbl 0702.03038 Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh. 31 1990 Presburgerness of predicates regular in two number systems. Zbl 0411.03054 Semenov, A. L. 26 1977 Decidability of monadic theories. Zbl 0553.03005 Semenov, A. L. 23 1984 Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005 Semenov, A. L. 23 1984 Almost periodic sequences. Zbl 1044.68100 Muchnik, An.; Semenov, A.; Ushakov, M. 19 2003 Algorithmic problems for power series and context-free grammars. Zbl 0322.68052 Semenov, A. L. 14 1973 Sequences close to periodic. Zbl 1208.03017 Muchnik, An. A.; Pritykin, Yu. L.; Semenov, A. L. 11 2009 On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008 Semenov, A. L. 10 1980 Predicates regular in two number systems are Presburger. Zbl 0369.02023 Semenov, A. L. 9 1977 Algorithms: Main ideas and applications. Transl. from the Russian by A. Shen. Zbl 0786.68032 Uspenskij, Vladimir; Semenov, Aleksej 8 1993 Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037 Uspenskij, V. A.; Semenov, A. L. 7 1987 The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073 Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir 6 2014 Finiteness conditions for algebras of relations. Zbl 1079.03063 Semenov, A. L. 4 2003 Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035 4 1981 Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005 Semenov, A. L. 4 1979 Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036 Semenov, A. L. 3 1978 Theory of algorithms: its main discoveries and applications. Zbl 0583.68008 Uspenskij, V. A.; Semënov, A. L. 2 1982 Nikolai Petrovich Dolbilin (on his 70th birthday). Zbl 1291.01031 Andreev, N. N.; Buchstaber, V. M.; Garber, A. I.; Kozlov, V. V.; Konovalov, S. P.; Mal’tsev, A. A.; Nesterenko, Yu V.; Novikov, S. P.; Parshin, A. N.; Sabitov, I. Kh; Semenov, A. L.; Sergeev, A. G.; Sheinman, O. K.; Shtogrin, M. I.; Shchepin, E. V. 2 2014 Regularity of languages k-linear for various k. Zbl 0307.68061 Semenov, A. L. 2 1974 A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076 Semenov, A. L.; Soprunov, S. F. 2 2015 Lattice of definability in the order of rational numbers. Zbl 1485.03177 Muchnik, An. A.; Semenov, A. L. 1 2020 An interpretation of free algebras in free groups. Zbl 0482.20022 Semenov, A. L. 1 1980 Finite quantifier hierarchies in relational algebras. Zbl 1294.03024 Semenov, A. L.; Soprunov, S. F. 1 2011 Lattice of definability (of reducts) for integers with successor. Zbl 07480692 Semenov, Alexei L.; Soprunov, Sergei F. 1 2021 Lattice of definability (of reducts) for integers with successor. Zbl 07480692 Semenov, Alexei L.; Soprunov, Sergei F. 1 2021 Lattice of definability in the order of rational numbers. Zbl 1485.03177 Muchnik, An. A.; Semenov, A. L. 1 2020 A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076 Semenov, A. L.; Soprunov, S. F. 2 2015 The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073 Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir 6 2014 Nikolai Petrovich Dolbilin (on his 70th birthday). Zbl 1291.01031 Andreev, N. N.; Buchstaber, V. M.; Garber, A. I.; Kozlov, V. V.; Konovalov, S. P.; Mal’tsev, A. A.; Nesterenko, Yu V.; Novikov, S. P.; Parshin, A. N.; Sabitov, I. Kh; Semenov, A. L.; Sergeev, A. G.; Sheinman, O. K.; Shtogrin, M. I.; Shchepin, E. V. 2 2014 Finite quantifier hierarchies in relational algebras. Zbl 1294.03024 Semenov, A. L.; Soprunov, S. F. 1 2011 Sequences close to periodic. Zbl 1208.03017 Muchnik, An. A.; Pritykin, Yu. L.; Semenov, A. L. 11 2009 Almost periodic sequences. Zbl 1044.68100 Muchnik, An.; Semenov, A.; Ushakov, M. 19 2003 Finiteness conditions for algebras of relations. Zbl 1079.03063 Semenov, A. L. 4 2003 Mathematical metaphysics of randomness. Zbl 0922.60014 Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A. 36 1998 Algorithms: Main ideas and applications. Transl. from the Russian by A. Shen. Zbl 0786.68032 Uspenskij, Vladimir; Semenov, Aleksej 8 1993 Can an individual sequence of zeros and ones be random? Zbl 0702.03038 Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh. 31 1990 Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037 Uspenskij, V. A.; Semenov, A. L. 7 1987 Decidability of monadic theories. Zbl 0553.03005 Semenov, A. L. 23 1984 Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005 Semenov, A. L. 23 1984 Theory of algorithms: its main discoveries and applications. Zbl 0583.68008 Uspenskij, V. A.; Semënov, A. L. 2 1982 Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035 4 1981 On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008 Semenov, A. L. 10 1980 An interpretation of free algebras in free groups. Zbl 0482.20022 Semenov, A. L. 1 1980 Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005 Semenov, A. L. 4 1979 Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036 Semenov, A. L. 3 1978 Presburgerness of predicates regular in two number systems. Zbl 0411.03054 Semenov, A. L. 26 1977 Predicates regular in two number systems are Presburger. Zbl 0369.02023 Semenov, A. L. 9 1977 Regularity of languages k-linear for various k. Zbl 0307.68061 Semenov, A. L. 2 1974 Algorithmic problems for power series and context-free grammars. Zbl 0322.68052 Semenov, A. L. 14 1973 all cited Publications top 5 cited Publications all top 5 Cited by 276 Authors 8 Semënov, Alekseĭ L’vovich 7 Bès, Alexis 6 Muchnik, Andrej A. 5 Bienvenu, Laurent 5 Merkle, Wolfgang 5 Vereshchagin, Nikolay K. 4 Boigelot, Bernard 4 Durand, Bruno 4 Durand, Fabien 4 Egorushkin, Oleg I. 4 Mitrofanov, Ivan Viktorovich 4 Nies, André Otfrid 4 Rabinovich, Alexander 4 Safonov, Konstantin V. 4 Shen, Alexander 4 Stephan, Frank 4 Villemaire, Roger 4 V’yugin, Vladimir V. 4 Walukiewicz, Igor 3 Charlier, Emilie 3 Choffrut, Christian 3 Kolbasina, Irina V. 3 Kuske, Dietrich 3 Okhotin, Alexander 3 Sirokofskich, Alla 3 Staiger, Ludwig 3 Uspenskiĭ, Vladimir Andreevich 2 Alaev, Pavel Evgenievich 2 Alberti, Francesco 2 Andreev, Nikolaĭ Nikolaevich 2 Bell, Jason P. 2 Benatti, Fabio 2 Blumensath, Achim 2 Brusten, Julien 2 Carayol, Arnaud 2 Cegielski, Patrick 2 Downey, Rodney Graham 2 Faĭzrahmanov, Marat Khaidarovich 2 Fratani, Séverine 2 Ghilardi, Silvio 2 Gorbunov, Konstantin Yu. 2 Gorelov, Mikhail Aleksandrovich 2 Hirschfeldt, Denis Roman 2 Hitchcock, John M. 2 Jain, Sanjay 2 Kanel’-Belov, Alekseĭ Yakovlevich 2 Kelmendi, Edon 2 Konieczny, Jakub 2 Korneeva, Natalia N. 2 Leśniak, Krzysztof 2 Lutz, Jack H. 2 Maes, Arnaud 2 Michaux, Christian 2 Michel, Pascal 2 Miller, Joseph S. 2 Porter, Christopher P. 2 Pritykin, Yu. L. 2 Reimann, Jan 2 Ryabko, Boris Ya. 2 Sharygina, Natasha 2 Snigireva, Nina 2 Soprunov, Sergeĭ Fëdorovich 2 Steifer, Tomasz 2 Strobin, Filip 2 Takahashi, Hayato 2 Thomas, Wolfgang 2 Vesely, Michal 2 Zetzsche, Georg 1 Adamczewski, Boris 1 Adyan, Sergeĭ Ivanovich 1 Agakhanov, N. Kh. 1 Albayrak, Seda 1 Aleksandrova, S. A. 1 Alvin, Lori 1 Askhabov, Sultan Nazhmudinovich 1 Astola, Jaakko T. 1 Asveld, P. R. J. P. R. J. 1 Bakinova, Ekaterina 1 Barvinok, Vitaliĭ Alekseevich 1 Basharin, Artem 1 Batmanov, Igor 1 Bazhenov, Nikolaĭ Alekseevich 1 Beklemishev, Lev D. 1 Bodirsky, Manuel 1 Bogdanovich, Valeriĭ Iosifovich 1 Bojańczyk, Mikołaj 1 Bradfield, Julian Charles 1 Bukhshtaber, Viktor Matveevich 1 Buls, Jānis 1 Bunkova, Elena Yur’evna 1 Buss, Samuel R. 1 Bykova, Valentina Vladimirovna 1 Byszewski, Jakub 1 Cers, Edmunds 1 Chan, Davy Ho-Yuen 1 Chen, Xiaoxing 1 Chen, Yu-Fang 1 Chernyat’ev, Aleksandr Leonidovich 1 Chilikov, A. A. 1 Chubarikov, Vladimir Nikolaevich ...and 176 more Authors all top 5 Cited in 78 Serials 40 Theoretical Computer Science 11 Annals of Pure and Applied Logic 9 Information and Computation 5 The Journal of Symbolic Logic 5 Theory of Computing Systems 4 Mathematical Notes 4 International Journal of Foundations of Computer Science 4 Mathematical Logic Quarterly (MLQ) 4 Doklady Mathematics 4 Logical Methods in Computer Science 4 Prikladnaya Diskretnaya Matematika 3 Moscow University Mathematics Bulletin 3 Journal of Computer and System Sciences 3 Russian Mathematics 3 Journal of Difference Equations and Applications 2 Israel Journal of Mathematics 2 Algebra and Logic 2 Proceedings of the American Mathematical Society 2 Transactions of the American Mathematical Society 2 Automation and Remote Control 2 Archive for Mathematical Logic 2 Journal of Mathematical Sciences (New York) 2 The Bulletin of Symbolic Logic 2 Comptes Rendus. Mathématique. Académie des Sciences, Paris 2 Proceedings of the Steklov Institute of Mathematics 2 Journal of Discrete Mathematics 2 Journal of Siberian Federal University. Mathematics & Physics 1 Acta Informatica 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Information Processing Letters 1 Problems of Information Transmission 1 Russian Mathematical Surveys 1 Mathematics of Computation 1 Acta Arithmetica 1 Advances in Mathematics 1 Applied Mathematics and Computation 1 Functional Analysis and its Applications 1 Fundamenta Mathematicae 1 Journal of Algebra 1 Journal of Soviet Mathematics 1 Mathematical Systems Theory 1 Siberian Mathematical Journal 1 Cybernetics 1 Ergodic Theory and Dynamical Systems 1 Combinatorica 1 Physica D 1 Discrete & Computational Geometry 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Stochastic Processes and their Applications 1 Indagationes Mathematicae. New Series 1 Cybernetics and Systems Analysis 1 Journal de Théorie des Nombres de Bordeaux 1 Annals of Mathematics and Artificial Intelligence 1 Izvestiya: Mathematics 1 Open Systems & Information Dynamics 1 Chaos 1 Communications in Nonlinear Science and Numerical Simulation 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Lobachevskii Journal of Mathematics 1 Nonlinear Analysis. Real World Applications 1 Discrete and Continuous Dynamical Systems. Series B 1 Journal of Machine Learning Research (JMLR) 1 Natural Computing 1 Journal of Applied Mathematics and Computing 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Foundations of Physics 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Chebyshevskiĭ Sbornik 1 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 1 The Review of Symbolic Logic 1 RAIRO. Theoretical Informatics and Applications 1 Computability 1 Computer Science Review 1 ACM Transactions on Computation Theory all top 5 Cited in 31 Fields 140 Computer science (68-XX) 89 Mathematical logic and foundations (03-XX) 23 Number theory (11-XX) 12 Probability theory and stochastic processes (60-XX) 11 Dynamical systems and ergodic theory (37-XX) 6 Measure and integration (28-XX) 5 Difference and functional equations (39-XX) 5 Statistics (62-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General algebraic systems (08-XX) 3 Field theory and polynomials (12-XX) 3 Commutative algebra (13-XX) 3 Group theory and generalizations (20-XX) 3 Quantum theory (81-XX) 3 Biology and other natural sciences (92-XX) 2 History and biography (01-XX) 2 Associative rings and algebras (16-XX) 2 Ordinary differential equations (34-XX) 2 Operator theory (47-XX) 2 General topology (54-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.