?
Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
Annals of Pure and Applied Logic. 2026. Vol. 177. No. 10. Article 103811.
Ключевые слова: decidabilitysuperintuitionistic predicate logicpositive fragmentTwo variable fragment
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
О частных производных модифицированных полиномов Бернштейна–Станку для функций нескольких переменных
Веретенников А. Ю., Мазутский Н. М., Математический сборник 2025 Т. 216 № 7 С. 3–27
Целью работы является доказательство аппроксимации смешанных производных второго порядка для функции нескольких переменных в норме L1 такими же производными модифицированных полиномов Бернштейна–Станку при минимальной возможной регулярности. ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2025 Т. 70 № 2 С. 211–227
В работе предложены новые версии слабого закона больших чисел (ЗБЧ) для слабо зависимых слагаемых (вообще говоря, разнораспределенных) как при наличии математического ожидания каждого из них, так и без такового. Одним из основных условий в первом из трех рассматриваемых случаев, в котором развиваются идеи из статьи Ю. Ш. Чау 1971 г., является равномерная интегрируемость слагаемых по Чезаро в духе работ по ЗБЧ для ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2024 Т. 69 № 3 С. 427–438
Предложен новый вариант усиленного закона больших чисел для попарно независимых случайных величин. Основная цель — ослабить требование существования математического ожидания каждого из слагаемых. Предположение о попарной независимости также ослаблено. ...
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Moscow Mathematical Journal 2024 Vol. 24 No. 1 P. 107–124
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Markov Processes and Related Fields 2023 Vol. 23 No. 2 P. 259–294
Добавлено: 16 июля 2026 г.
On recurrence, convergence and mixing rate for generalised Wright - Fisher's diffusion with mutation
Веретенников А. Ю., Sineokiy R., Markov Processes and Related Fields 2023 Vol. 23 No. 2 P. 241–258
Добавлено: 16 июля 2026 г.
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Запрягаев А. А., Пахомов Ф. Н., Logic Journal of the IGPL 2026 Vol. 34 No. 4 Article 12
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Веретенникова М. А., Reliability: Theory & Applications 2022 Vol. 17 No. 3(69) P. 273–291
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Stochastics and Partial Differential Equations: Analysis and Computations 2022 Vol. 10 P. 1165–1179
Добавлено: 15 июля 2026 г.
Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 No. 1 P. 014217–014217
Добавлено: 15 июля 2026 г.
Прокофьев В. В., Забродин А. В., Proceedings of the Steklov Institute of Mathematics 2020 Vol. 309 P. 225–239
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Journal of Physics A: Mathematical and Theoretical 2021 Vol. 54 No. 30 Article 305202
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Theoretical and Mathematical Physics 2021 Vol. 208 P. 1093–115
Добавлено: 14 июля 2026 г.
Забродин А. В., Прокофьев В. В., Теоретическая и математическая физика 2023 Т. 217 № 2 С. 299–316
Продолжено изучение иерархии B-Тоды (решетки Тоды со связью типа B), которую можно рассматривать как дискретизацию иерархии Кадомцева–Петвиашвили типа B. Вводится тау-функция для иерархии B-Тоды и получены билинейные уравнения для нее. В явном виде даны примеры солитонных тау-функций. ...
Добавлено: 14 июля 2026 г.
Springer, 2026.
Добавлено: 30 июня 2026 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., 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 г.