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: 44 Publications since 1973, including 2 Books 2 Contributions as Editor · 1 Further Contribution Reviewing Activity: 2 Reviews Biographic References: 2 Publications Co-Authors: 100 Co-Authors with 30 Joint Publications 2,840 Co-Co-Authors all top 5 Co-Authors 15 single-authored 8 Uspenskiĭ, Vladimir Andreevich 7 Muchnik, Andrej A. 6 Soprunov, Sergeĭ Fëdorovich 4 Beklemishev, Lev D. 4 Razborov, Aleksandr Aleksandrovich 3 Bukhshtaber, Viktor Matveevich 3 Lysenok, Igor’ Geront’evich 3 Matiyasevich, Yuriĭ Vladimirovich 3 Novikov, Sergeĭ Petrovich 2 Adyan, Sergeĭ Ivanovich 2 Andreev, Nikolaĭ Nikolaevich 2 Arlazarov, Vladimir L’vovich 2 Atabekyan, Varuzhan S. 2 Ershov, Yuriĭ Leonidovich 2 Goncharov, Sergeĭ Savost’yanovich 2 Guba, Victor S. 2 Ilyashenko, Yulij Sergeevich 2 Kanel’-Belov, Alekseĭ Yakovlevich 2 Khovanskiĭ, Askold Georgievich 2 Konstantinov, N. N. 2 Kozlov, Valeriĭ Vasil’evich 2 Mal’tsev, Arkadiĭ Anatol’evich 2 Nesterenko, Yuriĭ Valentinovich 2 Osipov, Yuriĭ Sergeevich 2 Pentus, Mati 2 Sadovnichiĭ, Viktor Antonovich 2 Shen’, A. Kh. 2 Tikhomirov, Vladimir Mikhaĭlovich 1 Adelson-Velsky, Georgy Maximovich 1 Alder, A. 1 Anisimov, Anatoly V. 1 Arkhangel’skiĭ, Dmitriĭ A. 1 Baizhanov, Bektur Sembiuly 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 Buda, A. 1 Bugaenko, V. O. 1 Cherkassky, Boris V. 1 Chirskiĭ, Vladimir Grigor’evich 1 Chubarikov, Vladimir Nikolaevich 1 Daderkin, Dmitri O. 1 Dekhtyar, Alexander M. 1 Demidov, Sergeĭ Sergeevich 1 Dikovsky, Alexander Yakovlevich 1 Dinitz, E. A. 1 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich 1 Dobrovol’skiĭ, Nikolai Nikolaevich 1 Dorichenko, S. A. 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 Gorodentsev, Alexey L. 1 Gurevich, Yuri 1 Hirsch, Edward A. 1 Imaikin, Valery 1 Ivanov-Pogodaev, Ilya 1 Kalinina, N. A. 1 Karpenko, S. M. 1 Karzanov, Aleksandr V. 1 Kirillov, Alexandre Aleksandrovich 1 Kleene, Stephen Cole 1 Knuth, Donald Ervin 1 Komarov, S. I. 1 Konovalov, S. P. 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 Lysov, Yu. P. 1 Manin, Yuriĭ Ivanovich 1 Mints, Grigoriĭ Efroimovich 1 Musikaev, Ilmir Kh. 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Okun, Lev B. 1 Parshin, Alexei N. 1 Pevzner, Pavel A. 1 Plungyan, V. A. 1 Podol’skiĭ, Vladimir Vladimirovich 1 Pritykin, Yu. L. 1 Rakhilina, E. V. 1 Rebrov, A. K. 1 Rebrova, Irina Yur’evna 1 Reshetnyak, Yuriĭ Grigor’evich 1 Sabitov, Idzhad Khakovich 1 Sergeev, Armen Glebovich 1 Shanin, Nikolaĭ Aleksandrovich 1 Shchepin, Evgenij V. 1 Sheĭnman, Oleg Karlovich 1 Shevrin, Lev Naumovich 1 Shtogrin, Mikhail Ivanovich 1 Slisenko, A. O. ...and 20 more Co-Authors all top 5 Serials 10 Russian Mathematical Surveys 4 Soviet Mathematics. Doklady 4 Doklady Mathematics 2 Mathematics of the USSR. Izvestiya 2 Theoretical Computer Science 2 Chebyshevskiĭ Sbornik 2 Lecture Notes in Computer Science 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Physica A 1 Problems of Information Transmission 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 25 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 10 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 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 203 times in 177 Documents Cited by ▼ Year ▼ Mathematical metaphysics of randomness. Zbl 0922.60014Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A. 35 1998 Can an individual sequence of zeros and ones be random? Zbl 0702.03038Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh. 30 1990 Presburgerness of predicates regular in two number systems. Zbl 0411.03054Semenov, A. L. 22 1977 Decidability of monadic theories. Zbl 0553.03005Semenov, A. L. 19 1984 Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005Semenov, A. L. 19 1984 Almost periodic sequences. Zbl 1044.68100Muchnik, An.; Semenov, A.; Ushakov, M. 15 2003 Algorithmic problems for power series and context-free grammars. Zbl 0322.68052Semenov, A. L. 12 1973 Sequences close to periodic. Zbl 1208.03017Muchnik, An. A.; Pritykin, Yu. L.; Semenov, A. L. 9 2009 On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008Semenov, A. L. 8 1980 Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037Uspenskij, V. A.; Semenov, A. L. 6 1987 Predicates regular in two number systems are Presburger. Zbl 0369.02023Semenov, A. L. 5 1977 The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir 5 2014 Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005Semenov, A. L. 4 1979 Finiteness conditions for algebras of relations. Zbl 1079.03063Semenov, A. L. 3 2003 Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036Semenov, A. L. 3 1978 A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076Semenov, A. L.; Soprunov, S. F. 2 2015 Nikolai Petrovich Dolbilin (on his 70th birthday). Zbl 1291.01031Andreev, 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.68061Semenov, A. L. 2 1974 An interpretation of free algebras in free groups. Zbl 0482.20022Semenov, A. L. 1 1980 Lattice of definability in the order of rational numbers. Zbl 1485.03177Muchnik, An. A.; Semenov, A. L. 1 2020 Lattice of definability in the order of rational numbers. Zbl 1485.03177Muchnik, An. A.; Semenov, A. L. 1 2020 A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076Semenov, A. L.; Soprunov, S. F. 2 2015 The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir 5 2014 Nikolai Petrovich Dolbilin (on his 70th birthday). Zbl 1291.01031Andreev, 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 Sequences close to periodic. Zbl 1208.03017Muchnik, An. A.; Pritykin, Yu. L.; Semenov, A. L. 9 2009 Almost periodic sequences. Zbl 1044.68100Muchnik, An.; Semenov, A.; Ushakov, M. 15 2003 Finiteness conditions for algebras of relations. Zbl 1079.03063Semenov, A. L. 3 2003 Mathematical metaphysics of randomness. Zbl 0922.60014Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A. 35 1998 Can an individual sequence of zeros and ones be random? Zbl 0702.03038Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh. 30 1990 Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037Uspenskij, V. A.; Semenov, A. L. 6 1987 Decidability of monadic theories. Zbl 0553.03005Semenov, A. L. 19 1984 Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005Semenov, A. L. 19 1984 On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008Semenov, A. L. 8 1980 An interpretation of free algebras in free groups. Zbl 0482.20022Semenov, A. L. 1 1980 Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005Semenov, A. L. 4 1979 Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036Semenov, A. L. 3 1978 Presburgerness of predicates regular in two number systems. Zbl 0411.03054Semenov, A. L. 22 1977 Predicates regular in two number systems are Presburger. Zbl 0369.02023Semenov, A. L. 5 1977 Regularity of languages k-linear for various k. Zbl 0307.68061Semenov, A. L. 2 1974 Algorithmic problems for power series and context-free grammars. Zbl 0322.68052Semenov, A. L. 12 1973 all cited Publications top 5 cited Publications all top 5 Cited by 220 Authors 7 Semënov, Alekseĭ L’vovich 5 Bès, Alexis 5 Bienvenu, Laurent 5 Merkle, Wolfgang 5 Muchnik, Andrej A. 4 Boigelot, Bernard 4 Durand, Fabien 4 Nies, André Otfrid 4 Rabinovich, Alexander 4 Shen, Alexander 4 Vereshchagin, Nikolay K. 4 Villemaire, Roger 4 V’yugin, Vladimir V. 4 Walukiewicz, Igor 3 Durand, Bruno 3 Egorushkin, Oleg I. 3 Okhotin, Alexander 3 Safonov, Konstantin V. 3 Sirokofskich, Alla 3 Staiger, Ludwig 3 Stephan, Frank 3 Uspenskiĭ, Vladimir Andreevich 2 Alberti, Francesco 2 Benatti, Fabio 2 Blumensath, Achim 2 Brusten, Julien 2 Carayol, Arnaud 2 Cegielski, Patrick 2 Charlier, Emilie 2 Downey, Rodney Graham 2 Fratani, Séverine 2 Ghilardi, Silvio 2 Gorbunov, Konstantin Yu. 2 Gorelov, Mikhail Aleksandrovich 2 Hirschfeldt, Denis Roman 2 Kanel’-Belov, Alekseĭ Yakovlevich 2 Kolbasina, Irina V. 2 Korneeva, Natalia N. 2 Kuske, Dietrich 2 Lutz, Jack H. 2 Maes, Arnaud 2 Michaux, Christian 2 Michel, Pascal 2 Miller, Joseph S. 2 Mitrofanov, Ivan Viktorovich 2 Porter, Christopher P. 2 Pritykin, Yu. L. 2 Reimann, Jan 2 Rute, Jason 2 Ryabko, Boris Ya. 2 Sharygina, Natasha 2 Soprunov, Sergeĭ Fëdorovich 2 Steifer, Tomasz 2 Takahashi, Hayato 2 Vesely, Michal 1 Adamczewski, Boris 1 Adyan, Sergeĭ Ivanovich 1 Aleksandrova, S. A. 1 Alvin, Lori 1 Andreev, Nikolaĭ Nikolaevich 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 Bell, Jason P. 1 Bodirsky, Manuel 1 Bogdanovich, Valeriĭ Iosifovich 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 Choffrut, Christian 1 Compton, Kevin J. 1 Cortez, Maria Isabel 1 Courcelle, Bruno 1 Dalmau, Víctor 1 De Bock, Jasper 1 de Cooman, Gert 1 Diagana, Toka 1 Douéneau-Tabot, Gaëtan 1 Dubacq, Jean-Christophe 1 Elaydi, Saber Nasr 1 Ershov, Yuriĭ Leonidovich 1 Fernau, Henning 1 Formenti, Enrico 1 Frougny, Christiane 1 Gammerman, Alexander 1 Gasarch, William Ian 1 Goncharov, Sergeĭ Savost’yanovich 1 Haddad, Axel ...and 120 more Authors all top 5 Cited in 64 Serials 35 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 Doklady Mathematics 3 Moscow University Mathematics Bulletin 3 Russian Mathematics 3 Mathematical Logic Quarterly (MLQ) 3 Journal of Difference Equations and Applications 3 Logical Methods in Computer Science 2 Journal of Computer and System Sciences 2 Proceedings of the American Mathematical Society 2 Transactions of the American Mathematical Society 2 Automation and Remote Control 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 2 Prikladnaya Diskretnaya Matematika 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Israel Journal of Mathematics 1 Problems of Information Transmission 1 Russian Mathematical Surveys 1 Mathematics of Computation 1 Advances in Mathematics 1 Applied Mathematics and Computation 1 Functional Analysis and its Applications 1 Fundamenta Mathematicae 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 Archive for Mathematical Logic 1 Cybernetics and Systems Analysis 1 Journal de Théorie des Nombres de Bordeaux 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 Izvestiya: Mathematics 1 Open Systems & Information Dynamics 1 Communications in Nonlinear Science and Numerical Simulation 1 RAIRO. Theoretical Informatics and Applications 1 Nonlinear Analysis. Real World Applications 1 Discrete and Continuous Dynamical Systems. Series B 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 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 1 The Review of Symbolic Logic 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review all top 5 Cited in 29 Fields 123 Computer science (68-XX) 77 Mathematical logic and foundations (03-XX) 18 Number theory (11-XX) 12 Probability theory and stochastic processes (60-XX) 10 Dynamical systems and ergodic theory (37-XX) 5 Measure and integration (28-XX) 5 Difference and functional equations (39-XX) 5 Statistics (62-XX) 4 Group theory and generalizations (20-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 General algebraic systems (08-XX) 3 Commutative algebra (13-XX) 3 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 Field theory and polynomials (12-XX) 2 Ordinary differential equations (34-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 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-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.