Edit Profile (opens in new tab) Soprunov, Sergeĭ Fëdorovich Co-Author Distance Author ID: soprunov.sergei-fedorovich Published as: Soprunov, S. F.; Soprunov, Sergeĭ Fedorovich; Soprunov, Sergeĭ Fëdorovich; Soprunov, Sergei F.; Soprunov, Sergey more...less Documents Indexed: 20 Publications since 1974, including 4 Additional arXiv Preprints Co-Authors: 4 Co-Authors with 9 Joint Publications 151 Co-Co-Authors Co-Authors 11 single-authored 8 Semënov, Alekseĭ L’vovich 1 Rudchenko, Tat’yana Aleksandrovna 1 Uspenskiĭ, Vladimir Andreevich 1 Uvarov, Aleksandr Yur’evich all top 5 Serials 2 Soviet Mathematics. Doklady 2 Selecta Mathematica Sovietica 2 Chebyshevskiĭ Sbornik 1 Moscow University Mathematics Bulletin 1 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika 1 Voprosy Kibernetiki (Moskva) 1 Izvestiya: Mathematics 1 Doklady Mathematics 1 Logic Journal of the IGPL 1 Proceedings of the Steklov Institute of Mathematics all top 5 Fields 15 Mathematical logic and foundations (03-XX) 4 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 14 times in 10 Documents Cited by ▼ Year ▼ The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073 Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir 6 2014 Decidable expansions of structures. Zbl 0665.03004 Soprunov, S. F. 5 1988 A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076 Semenov, A. L.; Soprunov, S. F. 2 2015 Finite quantifier hierarchies in relational algebras. Zbl 1294.03024 Semenov, A. L.; Soprunov, S. F. 1 2011 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 Finite quantifier hierarchies in relational algebras. Zbl 1294.03024 Semenov, A. L.; Soprunov, S. F. 1 2011 Decidable expansions of structures. Zbl 0665.03004 Soprunov, S. F. 5 1988 all cited Publications top 5 cited Publications all top 5 Cited by 12 Authors 5 Bès, Alexis 4 Semënov, Alekseĭ L’vovich 2 Cegielski, Patrick 2 Choffrut, Christian 2 Soprunov, Sergeĭ Fëdorovich 1 Bodirsky, Manuel 1 Dalmau, Víctor 1 Martin, Barnaby D. 1 Mottet, Antoine 1 Muchnik, Andrej A. 1 Pinsker, Michael 1 Rabinovich, Alexander all top 5 Cited in 9 Serials 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Information and Computation 1 Journal of Mathematical Sciences (New York) 1 Izvestiya: Mathematics 1 Doklady Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Logical Methods in Computer Science Cited in 4 Fields 9 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Dynamical systems and ergodic theory (37-XX) Citations by Year