?
Non-well-founded derivations in the Gödel-Löb provability logic
Review of Symbolic Logic. 2020. Vol. 13. No. 4. P. 776–796.
We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.
Priority areas:
mathematics
Language:
English
Ероховец Николай Юрьевич, Математический сборник 2026 Т. 217 № 5 С. 45–89
Toric topology assigns to each simple convex n-polytope P with m facets an n-dimensional real moment-angle manifold RZP with a canonical action of Zm2=(Z/2Z)m. We consider (not necessarily free) actions of subgroups H⊂Zm2 on RZP. The orbit space N(P,H)=RZP/H carries an action of Zm2/H. For general n we introduce the notion of Hamiltonian C(n,k)-subcomplex in the boundary of an ...
Added: September 17, 2026
Kuninets A., Malygina E., Cryptography and Communications 2026
In this paper, we determine explicit bases for Riemann–Roch spaces associated with various families of elliptic codes. We establish the feasibility and provide exact algorithms for constructing bases of Riemann–Roch spaces corresponding to arbitrary divisors on elliptic curves, including the non-effective case. These results are subsequently applied to derive bases for quasi-cyclic elliptic codes and ...
Added: September 17, 2026
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
The study is devoted to the identification of the specifics of humanism and mercy as
traditional spiritual and moral values of modern Russia. The special role of these axiological
attitudes, frankly virtuous nature suggests their dominant position. Avoiding discussion about
the interpretation of these categories, an attempt is made to identify the implementation of
virtuous actions, which can be ...
Added: September 17, 2026
Zhukova O., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
The article is a critical and philosophical analysis of a new book by the Russian philosopher and political scientist Aleksei A. Kara-Murza. His fundamental work “Selected Works on Russian Philosophy, Politics and Culture” (2024) contains articles in the field of philosophy of Russian history, completed by the author over the course of ten years. Essays, ...
Added: September 17, 2026
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
The article presents a philosophical analysis of the transformation of labor in the context of the spread of AI technologies. Criticizing the notion of AI as an autonomous and neutral technology leading to the replacement of human labor, the author proposes to analyze the social consequences of AI development within the framework of automation processes ...
Added: September 17, 2026
Kazakov A., Koryakin V., Safonov K. et al., Journal of Differential Equations 2026 Vol. 480 Article 114626
We study a family of one-dimensional maps that models the dynamics of a system of differential equations with a Lorenz attractor near a bifurcation curve where the system has a pair of homoclinic loops with zero separatrix value. Of particular interest is the region of the parameter plane where the map has a robust chaotic ...
Added: September 16, 2026
Letellier C., Stankevich N., Houri S. et al., Chaos 2026 Vol. 36 No. 9 Article 093128
Toroidal chaos designates a chaotic solution that is structured in the neighborhood of a torus. For being chaotic, such a torus needs to be discontinuously fractalized to present a Cantor set, ensuring the great sensitivity to initial conditions required for chaos. A fractal is related to self-similarity and a non-integer dimension. In fact, although clearly ...
Added: September 16, 2026
Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...
Added: September 15, 2026
Смирнов С. В., Миллионщиков Д. В., Уфимский математический журнал 2021 Т. 13 № 2 С. 44–73
В данной работе изучаются характеристические алгебры для систем экспоненциального типа, соответствующих вырожденным матрицам Картана. Эти системы обобщают хорошо известные в теории интегрируемых систем гиперболические уравнения синус-Гордон и Цицейки. Для таких систем, соответствующих матрицам Картана ранга 2, характеристические алгебры описаны явно в терминах образующих и соотношений, и доказано, что они имеют линейный рост. Исследуется связь между ...
Added: September 11, 2026
Смирнов С. В., Glasgow Mathematical Journal 2026 Vol. 68 No. 2 P. 299–316
In the second half of the 19th century Darboux obtained determinant formulae that provide the general solution for a linear hyperbolic second order PDE with finite Laplace series. These formulae played an important role in his study of the theory of surfaces and, in particular, in the theory of conjugate nets. During the last three ...
Added: September 11, 2026
Смирнов С. В., Journal of Physics A: Mathematical and Theoretical 2023 Vol. 56 No. 26 Article 265204
There are different methods of discretizing integrable systems. We consider semi-discrete analog of two-dimensional Toda lattices associated to the Cartan matrices of simple Lie algebras that was proposed by Habibullin in 2011. This discretization is based on the notion of Darboux integrability. Generalized Toda lattices are known to be Darboux integrable in the continuous case ...
Added: September 11, 2026
Enatskaya N., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 132–138
In schemes S for placing r particles in n distinguishable cells, their placement in selected m cells – schemes S∗ is studied, for which the analysis is carried out by a new enumerative method (EM) in extended areas of enumerative combinatorics: finding the number of outcomes and, based on the construction of a model of ...
Added: September 11, 2026
Enatskaya N., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 139–147
The class of particle cell arrangements under consideration is characterized by the introduction of an upper limit on the filling levels of the cells, which must be achieved in at least one cell of each outcome of each arrangement. The circuits are distinguished by the paired qualities of their constituent elements (cells and particles) according ...
Added: September 11, 2026
Ермоленко Г. А., Кожевников С. Б., Вестник Московского городского педагогического университета. Серия: Философские науки 2026 № 1(57) С. 9–18
This article explores the phenomenon of social capital in the context of contemporary media communications and its relationship with the phenomenon of cancellation ethics. The authors examine the mechanisms by which social capital functions in the digital space and how it is transformed by cancellation practices. The research methodology draws
on theoretical approaches to understanding the ...
Added: September 11, 2026
Филатова А. А., Эпистемология и философия науки 2026 Т. 63 № 2 С. 154–171
intelligence (hereafter, AI), particularly in the form of large lan guage models, has prompted a renewed wave of philosophical debates concerning the semantic competences of technical sys tems and the criteria for evaluating the outputs they generate, especially textual outputs. This article examines a set of central problem areas and their treatment in contemporary philosophical ...
Added: September 10, 2026
Faul B., Эпистемология и философия науки 2026 Т. 63 № 2 С. 41–50
In the article “Knowledge in the Digital Age: The Redundancy of Romanticism”, a critical analysis is offered of Konstantin Ocheretyany’s argumentation as presented in his essay “Epistemic Nihilism and Existential Romanticism: Knowledge in the Digital Age”. Two scenarios proposed by the author – techno-pessimistic and techno-optimistic – are examined, and it is shown that the ...
Added: September 9, 2026
Glutsyuk A., / Series arXiv "math". 2026.
B.Josephson (Nobel Prize, 1973) predicted a tunnelling effect for a system of two superconductors separated by a narrow dielectric (such a system is called Josephson junction): existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by the family of differential equations on the 2-torus, dθdτ=1ω(cosθ+B+Acosτ), which is known as ...
Added: September 8, 2026
Pochinka O., Shmukler V., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Anosov flows have a long and rich history, firstly motivated by the
study of geodesic flows in negative curvature surface by Anosov and Sinai.
Not every closed manifold admits an Anosov flow for well-known reasons:
the fundamental group of a 3-manifold M admitting an Anosov flow must
have exponential growth, and M must be universally covered by R3. Nevertheless,
there ...
Added: August 31, 2026
Loubenets E. R., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
In many quantum applications it is important to know whether or not a Bell nonlocal two-qudit state exhibits its nonlocality under correlation scenarios with some given numbers S1,S2≥1 of generalized quantum measurements at two sites. In the present article, we find analytically a new general locality condition sufficient for a nonseparable Werner state with a ...
Added: July 21, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity.
To prove this, we study ...
Added: July 16, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Let K be a field of characteristic zero. We prove that its motivic cohomology in degree m−1 and weight m is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable K3 of a field. ...
Added: July 16, 2026
Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.
This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...
Added: July 9, 2026
Konakov V., Kucher D., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
In this paper, we construct strong approximations for discrete-time Markov chains weakly converging to continuous diffusion processes, as well as for their perturbed counterparts. Under the assumption of bounded coefficients, we construct closely coupled versions of these processes on a shared probability space. In particular, for both non-degenerate and degenerate cases, we maximize the probability ...
Added: June 11, 2026
Dorovskiy A., / Series arXiv "math". 2026.
In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. ...
Added: May 14, 2026