|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, “Creating new mathematics by schoolchildren”, Dokl. RAN. Math. Inf. Proc. Upr., 511 (2023), 138–143   ; Dokl. Math., 107:Suppl 1 (2023), S132–S136 |
|
2021 |
| 2. |
A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Chebyshevskii Sb., 22:1 (2021), 304–327 |
| 3. |
A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. RAN. Ser. Mat., 85:6 (2021), 245–258 ; Izv. Math., 85:6 (2021), 1257–1269   |
5
|
|
2020 |
| 4. |
V. B. Betelin, A. G. Kushnirenko, A. L. Semenov, S. F. Soprunov, “About digital literacy and environments for its development”, Inform. Primen., 14:4 (2020), 100–107 |
8
|
|
2015 |
| 5. |
A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975 |
3
|
|
2011 |
| 6. |
A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Trudy Mat. Inst. Steklova, 274 (2011), 291–296  ; Proc. Steklov Inst. Math., 274 (2011), 267–272 |
3
|
|
1975 |
| 7. |
S. F. Soprunov, “Initial segments of nonstandard arithmetics”, Dokl. Akad. Nauk SSSR, 223:3 (1975), 576–577  |
| 8. |
S. F. Soprunov, “Strong nonstandard models of arithmetic”, Dokl. Akad. Nauk SSSR, 220:2 (1975), 293–296 |
|
|
|
2021 |
| 9. |
T. A. Rudchenko, S. F. Soprunov, A. Yu. Uvarov, “70 year jubilee of academician Alexei L. Semenov”, Chebyshevskii Sb., 22:1 (2021), 27–56 |
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
| |
|
|
Contact us: