О замыкающих ординалах инфинитарных вероятностных исчислений

?

О замыкающих ординалах инфинитарных вероятностных исчислений

Математические заметки. 2026. Т. 120. № 3. С. 470–483.

Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$.

Научное направление: Математика

Язык: русский

Текст на другом сайте

On the complexity of first-order logics of probability

Сперанский С. О., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 105–126

The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...

Добавлено: 12 августа 2026 г.

Data-Efficient Unsupervised Recalibration of Calorimeter Sensor Arrays Using Wasserstein Adversarial Learning

Али С., Бочарников В. О., Ратников Ф. Д. и др., Sensors 2026 Vol. 26 No. 16 Article 5024

Добавлено: 11 августа 2026 г.

A Big History Perspective on Complexity in Universal Evolution: Conclusions

David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 22 P. 585–608.

Добавлено: 10 августа 2026 г.

Human Evolution in the Complexity Growth Perspective: Toward Periodization of the Big History Biosocial Era

Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 13 P. 359–409.

Добавлено: 10 августа 2026 г.

Biological and Social Phases of Big History and Complexity Growth

Leonid Grinin, Alexander M., Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 12 P. 283–355.

Добавлено: 10 августа 2026 г.

Complexity in Universal Evolution: A Big History Perspective—An Introduction

David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 1 P. 1–25.

Добавлено: 10 августа 2026 г.

Maps preserving two small values of λ-th upper scrambling index

Kulev Y., Максаев А. М., Промыслов В. В., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72

Добавлено: 7 августа 2026 г.

On the Matchings-Jack and Hypermap-Jack Conjectures for Labelled Matchings and Star Hypermaps

Kanunnikov A., Промыслов В. В., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6

Добавлено: 7 августа 2026 г.

From hyperbolic to complex Euler integrals

Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96

Добавлено: 4 августа 2026 г.

Flexibility criterion for affine horospherical varieties

Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146

Добавлено: 3 августа 2026 г.

О полуортогональных разложениях производных категорий диаграммных схем

Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129

Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...

Добавлено: 3 августа 2026 г.

Mathematical methods of reinforcement learning

Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90

Добавлено: 3 августа 2026 г.

A. Radomskii, Mathematical notes 2026 Vol. 119 No. 6 P. 1136–1147

Добавлено: 31 июля 2026 г.

Квадратичный закон взаимности и его обобщения

Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75

Статья носит обзорно-методический характер и посвящена развитию идей Е.И. Золотарёва, заложенных в его подходе к доказательству квадратичного закона взаимности (1872 г.). Мы рассматриваем расширения подхода Золотарёва на абстрактные числовые кольца, приведенные в работе А. Бруньята и П.Л. Кларка (2015 г.), и на конечные группы, изученные в статье У. Дьюка и К. Хопкинс (2005 г.). Также ...

Добавлено: 30 июля 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

EEG evidence for reproducible neural states during Buddhist Highest Yoga Tantra meditation

Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560

Добавлено: 29 июля 2026 г.

Произведения Масси и соотношения в когомологиях алгебр Стинрода

Попеленский Ф. Ю., Математический сборник 2026 Т. 217 № 2 С. 108–153

В недавней работе В. М. Бухштабера и автора была введена новая структура в когомологиях алгебр Хопфа в терминах спектральной последовательности Бухштабера (Bss). В классической алгебре Стинрода A2 имеется важная подалгебра Хопфа A(1), когомологии которой давно известны. В настоящей работе обсуждаемая структура на этих когомологиях полностью вычислена. В рамках демонстрации методов Bss решена обратная задача: получено новое ...

Добавлено: 28 июля 2026 г.

Three-dimensional magnetization textures as quaternionic functions

Metlov K., Andrei B. Bogatyrëv, Annalen der Physik 2026 Vol. 538 No. 6 Article e70234

Добавлено: 28 июля 2026 г.

Nonlinear Neumann eigenvalues in outward cuspidal domains with weighted measure

Меновщиков А. В., Ukhlov A., Rendiconti del Circolo Matematico di Palermo 2026 Vol. 75 Article 91

Добавлено: 27 июля 2026 г.

On the (p,q)-Eigenvalues of the No-Flux p-Laplacian

Меновщиков А. В., Journal of Mathematical Sciences 2026 Vol. 298 P. 608–618

Добавлено: 27 июля 2026 г.

Local Fault-Tolerant Routing in 3D Mesh NoCs using Single-Hop Rollback

Edward R. Rzaev, Aleksandr Y. Romanov, Andrey M. Sukhov, IEEE Access 2026 Vol. 14 P. 2169–3536

Добавлено: 23 июля 2026 г.

Kolmogorov Operators and Their Applications

Singapore: Springer, 2024.

Добавлено: 17 июля 2026 г.

Existence and uniqueness results for strongly degenerate McKean-Vlasov equations with rough coefficients

Веретенников А. Ю., Pascucci A., Rondelli A., Stochastic Processes and their Applications 2026 Vol. 199 Article 104978

Добавлено: 17 июля 2026 г.

О сильных решениях многомерных СДУ с диагональными матрицами диффузии

Веретенников А. Ю., Ляппиева А. А., Теория вероятностей и ее применения 2026 Т. 71 № 2 С. 295–304

Установлен новый результат о сильной единственности для многомерного СДУ с невырожденной диффузией и частично нерегулярным сносом. Его можно рассматривать как комбинированный вариант на темы Ямада и Ватанабэ (1971), Звонкина (1974) и первого автора настоящей статьи (1980). ...

Добавлено: 17 июля 2026 г.