?
Franco Montagna’s Work on Provability Logic and Many-valued Logic
Studia Logica. 2016. Vol. 104. No. 1. P. 1–46.
L. Beklemishev, Flaminio T.
Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
Language:
English
Balashov D., Антиномии 2026 Т. 26 № 1 С. 27–48
The movement of effective altruism, which emerged at the beginning of the 21st century, represents a new form of utilitarian philosophy that has had a significant impact on Anglo-American philosophical thought in the 19th and 20th centuries. A key feature of effective altruism is its emphasis on practicality. The movement positions itself as an entity ...
Added: May 13, 2026
Balashov D., Человек 2026 Т. 37 № 2 С. 135–150
One of the most discussed approaches to understanding morality in science and philosophy in recent years has been the social intuitionist model of morality by the American psychologist Jonathan Haidt. The author has created a complex concept consisting of several large parts logically connected to each other, each of which deserves special attention. The first ...
Added: May 13, 2026
Blokh A., Oversteegen L., Selinger N. et al., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
We describe a model for the boundary of the connectedness locus of the parameter space of cubic symmetric polynomials. We show that there exists a monotone continuous function from the connectedness locus to the model which is a homeomorphism if the former is locally connected. ...
Added: May 13, 2026
Petrov I., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Added: May 12, 2026
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Added: May 11, 2026
Novikov R., Sivkin V., Inverse Problems 2026 Vol. 42 No. 4 Article 045009
We consider a plane wave, a radiation solution, and the sum of these solutions (total solution) for
the Helmholtz equation in an exterior region in Rd, d ⩾ 2. In this region, we consider a hyperplane X with sufficiently large distance s from the origin in Rd. We give two-point local formulas
for approximate recovering the radiation ...
Added: May 11, 2026
Hecht M., Hofmann P., Wicaksono D. et al., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Recent advances in Bernstein—Walsh theory have extended Bernstein’s Theorem to multiple dimensions, stating that a multivariate function can be approximated with a geometric rate in a downward-closed polynomial space if and only if it is analytic in a generalized Bernstein polyellipse. To compute approximations of this class of functions—which we term Bos–Levenberg–Trefethen–(BLT) functions—we extend the ...
Added: May 11, 2026
Kelbert M., Kalimulina E. Y., Entropy 2026 Vol. 28 Article 536
We study binary hypothesis testing for i.i.d. observations under a multiplicative context
weight. For the optimal weighted total loss, defined as the sum of weighted type-I and typeII losses, we prove the logarithmic asymptotic L∗n = exp{−nDwC (P,Q) + o(n)}, n →∞, where Dw
C is the weighted Chernoff information. The single-letter form of the exponent
relies on ...
Added: May 7, 2026
Rutkevich A. M., Вопросы философии 2026 № 5 С. 128–140
In academic world Pierre Manent is known as a historian of political thought, but
nearly a half of his books were written on themes of political philosophy and philosophy
of right. Practically all of them are translated into English, he himself is
better known and more influential in the USA than in France. His views are usually
described as ...
Added: May 6, 2026
Белоусов Н. М., Черепанов Л. К., Деркачов С. Э. et al., Selecta Mathematica, New Series 2026 Vol. 32 Article 44
We prove equivalence of two integral representations for the wave functions of hyperbolic Calogero–Sutherland system. For this we study two families of Baxter operators related to hyperbolic Calogero–Sutherland and rational Ruijsenaars models; the first one as a limit from hyperbolic Ruijsenaars system, while the second one independently. Besides, computing asymptotics of integral representations and also ...
Added: May 6, 2026
Муравьев М. Ю., Annales Mathematiques du Quebec 2025
Recently Rohleder proposed a new variational approach to an inequality between the Neumann and Dirichlet eigenvalues in the simply connected planar case using the language of classical vector analysis. Interpreting his approach in terms of differential forms permits to generalize these results to a much broader context. The spectrum of the absolute boundary problem for ...
Added: May 6, 2026
Цыганов А. В., Порубов Е. О., Теоретическая и математическая физика 2026 Т. 227 № 2 С. 336–355
Теория тензорных инвариантов обыкновенных дифференциальных уравнений и классификация Картана простых алгебр Ли используется для установления изоморфизма задачи Козлова о движении ферромагнетика в магнитном поле и задачи Шоттки о движении четырехмерного твердого тела. Найдены новые полиномиальные и рациональные бивекторы Пуассона, инвариантные либо относительно пары коммутирующих фазовых потоков, либо относительно одного из пары потоков. ...
Added: May 5, 2026
Вишняков Д. А., Эпистемология и философия науки 2026 Т. 63 № 1 С. 70–86
The article is devoted to the phenomenon of the “collectivist turn”, a complex shift in the methodology and conceptual framework of the philosophy of science. The “collectivist turn” refers to the tendency in the humanities to study the activities of collective agents, which arose as a result of two turns: social and practical. The first ...
Added: May 4, 2026
Монахова Э. А., Монахов О. Г., Rzaev E. et al., Прикладная дискретная математика 2026 Т. 71 С. 112–127
В настоящей работе исследовано совместное конструирование топологий семейств оптимальных по диаметру циркулянтных сетей $C(N; \pm 1, \pm s_2)$ и реализуемых для них оптимальных алгоритмов маршрутизации сложности $O(1)$. Предлагаемый алгоритм маршрутизации основан на использовании масштабируемых параметров $L$-образных шаблонов плотной укладки графов на плоскости для семейств оптимальных сетей.
Определены аналитические формулы зависимости этих параметров от диаметра графов семейств ...
Added: May 4, 2026
Dudakov S., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 12 P. 6092–6102
We study the additive theory of arbitrary figures in linear spaces, that is, the theory of
addition extended to sets of vectors. Our main result is the following: if a linear space is infinite,
then the additive theory of figures admits interpreting second-order arithmetic and, therefore, it has
such or higher degree of undecidability. For countably infinite spaces, ...
Added: May 1, 2026
Taletskii D., / Series arXiv "math". 2026.
A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...
Added: May 1, 2026
Ovcharenko M., / Series arXiv "math". 2026.
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...
Added: April 30, 2026
Переплеткин А. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2024 № 3 С. 94–102
The article examines the features of the early F.W.J. Schelling’s approach to understanding subject basing on his work «System of transcendental idealism». The author focuses on the constitutive role of I. Kant’s transcendental ideal in the making of Schelling’s concept, as well as its connection with ideal and real activities. Further, he examines how Schelling ...
Added: April 29, 2026
Переплеткин А. В., Кантовский сборник 2025 Т. 44 № 2 С. 36–60
In this article I propose a reconstruction of the link between the concept of the system of philosophy as “the history of self-consciousness” put forward by Schelling in the treatise The System of Transcendental Idealism (1800), and one of the key elements of the Kantian critical philosophy, the teaching on the transcendental ideal. Differentiating three ...
Added: April 29, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Qin X., Deng Y., Shchur L. et al., / Series arXiv "math". 2026. No. 2603.02962.
We perform a Monte Carlo analysis of the Ising model on many three-dimensional lattices. By means of finite-size scaling we obtain the critical points and determine the scaling dimensions. As expected, the critical exponents agree with the three-dimensional Ising universality class for all models. The irrelevant field, as revealed by the correction-to-scaling amplitudes, appears to ...
Added: April 20, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.
We deal with the global in time weak solutions to the 1D compressible Navier-Stokes system of equations for large discontinuous initial data and nonhomogeneous boundary conditions of three standard types. We prove the Lipschitz-type continuous dependence of the solution $(\eta,u,\theta)$, in a norm slightly stronger than $L^{2,\infty}(Q)\times L^2(Q)\times L^2(Q)$, on the initial data $(\eta^0,u^0,e^0)$ in a ...
Added: April 18, 2026
Medvedev V., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Added: April 3, 2026