?
Linear orders in Presburger arithmetic
Logic Journal of the IGPL. 2026. Vol. 34. No. 4. Article jzag045.
Пахомов Ф. Н., Запрягаев А. А.
Осипов Д.В., Математический сборник 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 г.
Широков Н. А., Rozenblum G., Israel Journal of Mathematics 2026 P. 1–30
We establish that a generalized H\¨older continuous function on an (m−2)-Ahlfors regular compact set in Rm can be approximated by solutions of an elliptic equation, with the rate of approximation determined by the continuity modulus of the function ...
Добавлено: 29 августа 2026 г.
Сперанский С. О., Archive for Mathematical Logic 2013 Vol. 52 No. 5–6 P. 507–516
We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates — which are strongly related to definability in ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Пахомов Ф. Н., Известия РАН. Серия математическая 2022 Т. 86 № 6 С. 207–222
Обозначим через C структуру натуральных чисел с отношением взаимной простоты. Мы доказываем, что для каждого ненулевого натурального числа n, если $\Pi^1_n$-множество натуральных чисел замкнуто относительно автоморфизмов C, то оно определимо в C посредством монадической $\Pi^1_n$-формулы сигнатуры C с ровно n кванторами по множествам. С другой стороны, мы замечаем, что некоторые обогащения C не обладают даже намного более слабой версией этого свойства. ...
Добавлено: 26 декабря 2025 г.
Карпов В. Е., Сперанский С. О., Математические заметки 2025 Т. 118 № 1 С. 77–90
Строится $\Sigma_1$-интерпретация класса BiG-fin всех конечных двудольных графов в классе 2Eq-fin всех пар отношений эквивалентности на общем конечном носителе; это даёт наследственную неразрешимость $\Sigma_2$-теории 2Eq-fin. Далее, строится $\Sigma_1$-интерпретация 2Eq-fin в классе LEq-fin всех пар, состоящих из линейного порядка и отношения эквивалентности на общем конечном носителе; это даёт наследственную неразрешимость $\Sigma_2$-теории LEq-fin. Полученные результаты являются в известном ...
Добавлено: 26 декабря 2025 г.
Семенов А. Л., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Добавлено: 13 марта 2024 г.
Запрягаев А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 3–7
Арифметики Бюхи BAn, n≥2, являются расширениями арифметики Пресбургера унарным функциональным символом Vn(x), обозначающим наибольшую степень n, делящую x. Определимость множества в BAn эквивалентна распознаванию его конечным автоматом, принимающим числа в n-ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели BAn и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий ...
Добавлено: 27 июля 2023 г.
A. L. Semenov, Soprunov S. F., Izvestiya. Mathematics 2021 Vol. 85 No. 6 P. 1257–1269
Добавлено: 14 марта 2023 г.
Семенов А. Л., Soprunov S., Mathematics 2022 Vol. 10 No. 20 Article 3748
Добавлено: 11 марта 2023 г.