?
Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.
Lev Beklemishev, Shamkanov D.
We study abstract versions of G\"odel's second incompleteness theorem and formulate generalizations of L\"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of contraction rule in G\"odel's theorem and give a (toy) example of a system based on modal logic without contraction invalidating G\"odel's argument.
Language:
English
Dmitriev T., Полития: Анализ. Хроника. Прогноз 2026 № 2 С. 6–20
The article is devoted to the thematization of conceptions
of freedom (la libertà) in the political teaching of Niccolò Machiavelli. Drawing
on a close reading of the Florentine thinker’s works The Prince and Discourses
on the First Decade of Titus Livy, the author concludes that Machiavelli’s
concept of freedom does not have a single meaning, but rather
several fundamental ones. Among ...
Added: August 28, 2026
Oxford University Press, 2026.
Traditionally, a justification for believing something is a priori if and only if it is independent of experience. Throughout Western philosophy ever since Plato, some of the most divisive questions have been whether a priori justification exists, how it is possible, and how far it reaches. This book is structured around these three main questions. ...
Added: August 28, 2026
Avdoshin S.M., Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 No. 4 часть 2 P. 245–256
The cardinality-constrained Markowitz problem is NP-hard and traditionally solved with commercial MIQP solvers. Following the 2022 export restrictions that rendered both commercial MIQP software and cloud quantum platforms (IBM Quantum, D-Wave Leap) inaccessible from the Russian Federation, practitioners require open-source alternatives. This paper systematically compares three solver families for the discrete mean-variance problem: two open-source ...
Added: August 27, 2026
Zaikin A., Vlasenko D., Zakharov D. et al., Diagnostics 2026 Vol. 16 No. 17 P. 1–15
Background/Objectives: Synolitic graphs (SGs) were developed for task-based fMRI, where
edge weights encode the discriminative power of pairwise regional features; whether similar
information can be recovered from resting-state data was untested. We benchmarked
SGs for autism spectrum disorder (ASD) classification using the multisite ABIDE-I dataset
(871 subjects: 403 subjects with ASD, 468 typical controls; 17 sites; CC200 atlas). Methods:
Using ...
Added: August 27, 2026
Melnikov I., Pelinovsky E., Nonlinear Dynamics 2026 No. 114 Article 934
Pyramidal solitons (solitons with more than two inflection points) of the generalized Korteweg–de Vries (KdV) equation are investigated. Necessary and sufficient conditions for the existence of such structures are presented. Within the framework of the generalized Gardner equation — the simplest model that admits pyramidal solitons as solutions — it is shown that these solutions ...
Added: August 27, 2026
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Added: August 27, 2026
Nesterenko A., Чирский В. Г., Матвеев В. Ю., Чебышевский сборник 2026 Т. 27 № 2 С. 118–127
The article presents the results of a practical study of the statistical properties of some sequences that are values of functions of a special type. ...
Added: August 26, 2026
Medushevsky A. N., Liberal.ru 2026
The Liberal Mission Foundation continues to introduce readers to new concepts of democracy and relevant publications. This discussion focuses on the challenges facing democracy in the era of globalization, as addressed in two recent books: *The Backsliders: Why Leaders Undermine Their Own Democracies* by S.C. Stokes (2025) and *Critical Theories and the Postsocialist Challenge: Race, ...
Added: August 26, 2026
Medushevsky A. N., Liberal.ru 2026
Today, more than ever before, the contribution of new technologies shapes the conditions of humanity's existence as a biological species, prompting a debate about its prospects for survival. This process of transformation—which spans every sphere of social and moral regulation, from family relations and child-rearing to the very meaning of life—is dividing public opinion between ...
Added: August 26, 2026
Medushevsky A. N., Сравнительное конституционное обозрение 2026 Т. 35 № 2 (167) С. 4–29
In the context of the rapid changes in the modern world associated with globalization, informatiza tion, and the revision of ethical standards of mass behavior, legal theory faces a number of problems — the loss of consensus in understanding global constitutionalism, growing disagreements regard ing its values and principles, and unclear prospects for the future. ...
Added: August 26, 2026
Medushevsky A. N., Сравнительное конституционное обозрение 2026 Т. 35 № 1 С. 53–77
Judges should be independent of politics, yet they are constantly ensnared by it. Politics haunts judges even where the full scope of constitutional guarantees for the separation of powers and an in dependent judiciary is in place, infiltrating the courtroom through variable interpretations of the val ues, principles, and norms of the constitution, the selection ...
Added: August 26, 2026
Medushevsky A. N., Вопросы теоретической экономики 2026 № 2 С. 146–164
It is generally accepted that the basis of social and legal stability in any society is a consensus on vir tue — the fundamental values of proper behavior, ways of maintaining and reproducing them. And, conversely, the destruction of this consensus is a sign of the loss of stability and divergence of positions of social ...
Added: August 26, 2026
Eduard Sopin, Nazarin A., Begishev V. et al., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Aimed at rate-greedy applications having extreme requirements for the data rate at the air interface, 5G New Radio (NR) systems may experience problems when the number of user equipment (UE) in the coverage of the cell increases due to limited capacity of the physical downlink control channel (PDCCH).The aim of this study is to explore ...
Added: August 26, 2026
Medushevsky A. N., Сравнительное конституционное обозрение 2025 Т. 34 № 4 С. 135–166
The communist morality created in the USSR to form a “new man” was based on a code of moral values that replaced traditional religious ideas with the ideological postulates of a one-party dictator ship. The crisis and collapse of this ideology in post-Soviet Russia led to the emergence of an “ethi cal vacuum” — moral ...
Added: August 26, 2026
Medushevsky A. N., Российская юстиция 2025 № 11 С. 14–25
Globalization has exacerbated the eternal conflict between law and ethics: should national laws be respected when they conflict with universal international principles of human rights; should the law-abiding attitude operate in the same way in democracies and authoritarian states, and calls for emancipation take into account the degree of internal freedom of society and its ...
Added: August 26, 2026
Джонов А. Т., Avdoshin S. M., Информационные технологии 2026 Т. 32 № 8 С. 421–427
This systematic review presents an analysis of the "Vibe Coding" methodology — a contemporary approach to the iterative software development process using Large Language Models (LLMs). Code generation tools are transforming software development by enabling programmers to formulate tasks and describe the desired behavior of software in natural language, while LLMs generate source code corresponding ...
Added: August 25, 2026
Zhdanov V., AI and Society 2026 P. n.d.–n.d.
The article reinterprets Plato’s famous allegory of the cave in the context of contemporary digital presence. Its starting point is the Argentina–England match at the 2026 World Cup, where the author notices spectators who, despite being able to watch Lionel Messi directly from the stands, prefer to record the action on their smartphones.
Unlike Plato’s prisoners, ...
Added: August 25, 2026
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 2026
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 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
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026