?
Решетка определимости (редуктов) для целых чисел с операцией следования
Известия РАН. Серия математическая. 2021. Т. 85. № 6. С. 245–258.
Семенов А. Л., Сопрунов С. Ф.
В статье описана решетка определимости для структуры целых чисел с операцией следования (операцией y=x+1). Элементы решетки, также называемые редуктами, образуют три (естественно задаваемых) бесконечных серии отношений. Доказательство использует вариант теоремы Свенониуса для специального вида структур.Библиография: 17 наименований.
Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401
В работе изучаются перестановки, возникающие при упорядочивании по возрастанию дробных долей произведений элементов фиксированной целочисленной последовательности на вещественный параметр. Исследуется количество различных перестановок, которые можно получить таким образом при изменении этого параметра от нуля до единицы. ...
Добавлено: 7 сентября 2026 г.
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Добавлено: 3 сентября 2026 г.
Басалаев А. А., Раровский А. А., Journal of Singularities 2026 Vol. 30 P. 61–80
Добавлено: 1 сентября 2026 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
Добавлено: 1 сентября 2026 г.
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Communications in Mathematical Physics 2026 Vol. 407 No. 69
Добавлено: 31 августа 2026 г.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Добавлено: 31 августа 2026 г.
Bayer A., Кузнецов А. Г., Macrì E., Journal fuer die reine und angewandte Mathematik 2026 Vol. 2026 No. 836 P. 111–162
Добавлено: 30 августа 2026 г.
Bayer A., Кузнецов А. Г., Macrì E., Compositio Mathematica 2026 Vol. 162 No. 1 P. 59–99
Добавлено: 30 августа 2026 г.
Гусева Л. А., Novikov A., Advances in Mathematics 2026 Vol. 503 Article 111211
Добавлено: 30 августа 2026 г.
Полищук А., Rains E., Journal of the Institute of Mathematics of Jussieu 2026 Vol. 25 No. 1 P. 339–373
Добавлено: 30 августа 2026 г.
Kazhdan D., Полищук А., Pure and Applied Mathematics Quarterly 2026 Vol. 22 No. 3 P. 1115–1166
Добавлено: 30 августа 2026 г.
Добавлено: 30 августа 2026 г.
Пахомов Ф. Н., Запрягаев А. А., Logic Journal of the IGPL 2026 Vol. 34 No. 4 Article jzag045
Добавлено: 16 июля 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 г.