|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1, 23–32   ; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, 80:1 (2025), 23–33 |
|
2023 |
| 2. |
А. Л. Семенов, С. Ф. Сопрунов, И. А. Иванов-Погодаев, “Создание новой математики школьниками”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 138–143 ; A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, “Creating new mathematics by schoolchildren”, Dokl. Math., 107:Suppl 1 (2023), S132–S136 |
|
2021 |
| 3. |
А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327 ; A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298 |
1
|
| 4. |
А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 85:6 (2021), 245–258  ; A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85:6 (2021), 1257–1269   |
6
|
|
2020 |
| 5. |
В. Б. Бетелин, А. Г. Кушниренко, А. Л. Семенов, С. Ф. Сопрунов, “О цифровой грамотности и средах ее формирования”, Информ. и её примен., 14:4 (2020), 100–107 |
9
|
|
2015 |
| 6. |
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 |
| 7. |
А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Труды МИАН, 274 (2011), 291–296  ; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272 |
3
|
|
1975 |
| 8. |
С. Ф. Сопрунов, “Начальные отрезки нестандартных арифметик”, Докл. АН СССР, 223:3 (1975), 576–577 |
| 9. |
С. Ф. Сопрунов, “Сильные нестандартные модели арифметики”, Докл. АН СССР, 220:2 (1975), 293–296 |
|
|
|
2021 |
| 10. |
Т. А. Рудченко, С. Ф. Сопрунов, А. Ю. Уваров, “Академику А. Л. Семенову – 70 лет”, Чебышевский сб., 22:1 (2021), 27–56 |
|
