?
Решетка определимости (редуктов) для целых чисел с операцией следования
Известия РАН. Серия математическая. 2021. Т. 85. № 6. С. 245–258.
Семенов А. Л., Сопрунов С. Ф.
В статье описана решетка определимости для структуры целых чисел с операцией следования (операцией y=x+1). Элементы решетки, также называемые редуктами, образуют три (естественно задаваемых) бесконечных серии отношений. Доказательство использует вариант теоремы Свенониуса для специального вида структур.Библиография: 17 наименований.
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Novikov R., V. N. Sivkin, Inverse Problems 2026 Vol. 42 No. 4 Article 045009
Добавлено: 11 мая 2026 г.
Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Добавлено: 11 мая 2026 г.
N. Belousov, L. Cherepanov, Derkachov S. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 44
Добавлено: 6 мая 2026 г.
Сперанский С. О., Пахомов Ф. Н., Известия РАН. Серия математическая 2022 Т. 86 № 6 С. 207–222
Обозначим через C структуру натуральных чисел с отношением взаимной простоты. Мы доказываем, что для каждого ненулевого натурального числа n, если $\Pi^1_n$-множество натуральных чисел замкнуто относительно автоморфизмов C, то оно определимо в C посредством монадической $\Pi^1_n$-формулы сигнатуры C с ровно n кванторами по множествам. С другой стороны, мы замечаем, что некоторые обогащения C не обладают даже намного более слабой версией этого свойства. ...
Добавлено: 26 декабря 2025 г.
Семенов А. Л., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Добавлено: 13 марта 2024 г.
Семенов А. Л., Сопрунов С. Ф., Чебышевский сборник 2021 Т. 22 № 1(77) С. 304–327
В статье представлены результаты и открытые проблемы, относящиеся к пространствам определимости (редуктам), а также источникам этой области, начиная с XIX века. Исследуются условия конечности и ограничения, в том числе глубина чередования кванторов и число аргументов. Описаны результаты, относящиеся к описанию решеток пространств определимости для числовых и других естественных структур. Методы исследования включают изучение групп автоморфизмов ...
Добавлено: 11 марта 2023 г.
Семенов А. Л., В кн.: Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем".: Тверь: ТвГУ, 2021. С. 61–68.
В работе обсуждается проблематика определимости и пространств отношений в исторической перспективе, обрисована роль Альфреда Тарского и Ларса Свенониуса, рассматриваются последние результаты, расширяющие полученные ранее для однородных структур, в частности на случай пополнимых вверх. Приложения включают языки описания баз данных, анализ CSP - Constraint Satisfaction Problem (обобщенной выполнимости). ...
Добавлено: 10 марта 2023 г.