Soprunov Sergei Fedorovich

Publications in Math-Net.Ru

1. Chair of Mathematical Logic and Theory of Algorithms
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32
2. Creating new mathematics by schoolchildren
   
   Dokl. RAN. Math. Inf. Proc. Upr., 511 (2023),  138–143
3. The lattice of definability. Origins and directions of research
   
   Chebyshevskii Sb., 22:1 (2021),  304–327
4. Lattice of definability (of reducts) for integers with successor
   
   Izv. RAN. Ser. Mat., 85:6 (2021),  245–258
5. About digital literacy and environments for its development
   
   Inform. Primen., 14:4 (2020),  100–107
6. A combinatorial version of the Svenonius theorem on definability
   
   Log. J. IGPL, 23:6 (2015), 966, 975 pp.
7. Finite quantifier hierarchies in relational algebras
   
   Trudy Mat. Inst. Steklova, 274 (2011),  291–296
8. Initial segments of nonstandard arithmetics
   
   Dokl. Akad. Nauk SSSR, 223:3 (1975),  576–577
9. Strong nonstandard models of arithmetic
   
   Dokl. Akad. Nauk SSSR, 220:2 (1975),  293–296


10. 70 year jubilee of academician Alexei L. Semenov
    
    Chebyshevskii Sb., 22:1 (2021),  27–56