?
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 514. № 1. С. 123–128.
In this paper analogues of Herbrand’s and Harrop’s theorems for the logic QHC are proved.
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
Domrin V. I., Malova H. V., V. Yu. Popov et al., Cosmic Research 2026 Vol. 64 No. 2 P. 238–252
During magnetospheric perturbations a relatively thin current sheet with thickness about several
proton gyroradii forms in the Earth’s magnetotail. In a framework of the kinetic model describing current
sheet thinning in the magnetotail, the processes of its formation are investigated depending on the normal
magnetic field magnitude which affects both the current sheet structure and particle dynamics within ...
Added: April 27, 2026
Tsareva O. O., Malova H. V., V. Yu. Popov et al., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
The influence of asymmetry of plasma sources on the structure and spatial localization of a superthin
current sheet (STCS) supported by demagnetized electrons is studied using a self-consistent model. The
simulation takes into account the presence of a single plasma source in the northern hemisphere, which
makes the plasma flow asymmetric. It is demonstrated that the asymmetry of ...
Added: April 27, 2026
Pochinka O., Yakovlev E., Shmukler V., Russian Journal of Nonlinear Dynamics 2026
Every discrete dynamical system (cascade) generated by a homeomorphism induces a continuous
dynamic system (flow) — a suspension. However, not every flow is equivalent to a suspension
over a cascade, a necessary and sufficient condition for this is the existence of a global
section for the flow. In the case of the existence, the flow is equivalent to ...
Added: April 24, 2026
Kazaryan M., Dunin-Barkowski P., Bychkov B. et al., Selecta Mathematica, New Series 2026 Vol. 32 Article 25
We revise the notion of the blobbed topological recursion by extending it to the setting of generalized topological recursion as well as allowing blobs which do not necessarily admit topological expansion. We show that the so-called non-perturbative differentials form a special case of this revisited version of blobbed topological recursion. Furthermore, we prove the KP ...
Added: April 23, 2026
Kazaryan M., Lando S., Kodaneva N., Journal of Geometry and Physics 2026 No. 225 Article 105841
Weight systems associated to the Lie algebras 𝔤𝔩(N) for N = 1,2,... can be unified into auniversal one. The construction is based on an extension of the 𝔤𝔩(N) weight systems to permutations. This universal weight system takes values in the algebra of polynomials C[N;C1,C2,...] in infinitely many variables. We show that under the substitution Cm ...
Added: April 23, 2026
Kychkin A., Chernitsin I., Прикладная информатика 2026 Т. 21 № 1 С. 40–58
The results of the development of a software microservice embedded in atmospheric air quality monitoring systems to support the identification of industrial pollution sources are presented. The emission and subsequent spread of harmful substances in the lower layers of the atmosphere is dynamic and characterized by high uncertainty due to the specific features of technological ...
Added: April 23, 2026
IEEE, 2026.
Added: April 21, 2026
Galkin O., Galkina S., Ястребова И. Ю., Журнал Средневолжского математического общества 2026 Т. 28 № №1 С. 11–30
Polynomials of least deviation from zero play an important role in the theory and practice of numerical methods. They can be used to solve problems of optimizing the properties of various computational algorithms. Our work is devoted to the study of polynomials of least deviation from zero on a ray in the exponential norm. In ...
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
Petrov I., Doklady Mathematics 2026 Vol. Volume 112 P. S103–S110
This paper examines games on networks with linear best responses, which allow for the analysis of how interaction structures influence agents’ strategic behavior. Special attention is given to intervention issues in such models, particularly in selecting optimal intervention strategies aimed at maximizing the central planner’s objective function. Two main control policies are analyzed: individual agent ...
Added: April 17, 2026
A. V. Pereskokov, Theoretical and Mathematical Physics 2026 Vol. 226 No. 3 P. 470–484
We consider the spectral problem for a hydrogen atom in orthogonal electric and magnetic fields with
an additional self-consistent field. We obtain an asymptotic expansion of self-consistent energy levels.
We find an asymptotic expansion of asymptotic eigenfunctions near the sphere |q| = 2. We calculate the
asymptotics of their norm in the space L2(R3). ...
Added: April 12, 2026
Kolachev N., Адамский А. И., Drozdov D. et al., Моделирование и анализ данных 2026 Т. 16 № 1 С. 157–176
Context and relevance. Despite the widespread adoption of the competency-based approach in higher education, a gap remains between the understanding of competence as a dynamic process and the tools available for its design and management. Dominant practices of learning outcomes assessment rely on static “snapshots,” which limits the possibilities for forecasting and purposeful development of competence. ...
Added: April 10, 2026
Zvereva V., Вопросы экономики 2026 № 4 С. 100–129
This paper examines the hypothesis of asymmetric responses of bank interest rates to restrictive and accommodative monetary policy conducted by the Bank of Russia across different market segments, industries, and macroregions over the period 2017—2025. Using a Markov-switching error-correction model, the paper estimates the effects of monetary policy shocks, households’ inflation expectations, firms’ price expectations, ...
Added: April 8, 2026
Petropavlovsky S., Turkel E., Journal of Computational Physics 2026 Vol. 558 Article 114880
We propose a method for the numerical computation of the 3D time-harmonic scattering about objects of complex shape. Our approach relies on the method of difference potentials combined with the lacunae-based integration of the Helmholtz equation. The former allows to handle curvilinear boundaries of scattering shapes on regular Cartesian grids with no loss of accuracy. ...
Added: April 6, 2026
Артёмов С. Н., Beklemishev L. D., Гончаров С. С. et al., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Added: December 27, 2025
Onoprienko A., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Added: October 2, 2025
Vasyukov V. L., Ученые записки Крымского федерального университета имени В.И. Вернадского. Философия. Политология. Культурология 2024 Т. 10 № S С. 104–112
In European philosophy, the motifs of self-nonidentity and the variability it implies are found as early as Heraclitus. The concept of changeability and self-nonidentity can also be found in the East, for example, among the Mu’tazilites, representatives of the direction of Arab-Muslim philosophy that arose in the first centuries of the formation of Islam and ...
Added: December 26, 2024
Rybakov M., Onoprienko A., В кн.: Международная конференция Мальцевские чтения: 11–15 ноября 2024 г.: тезисы докладов.: [б.и.], 2024. С. 44–44.
Доказывается PSPACE-трудность логики HC с одной переменной. ...
Added: November 17, 2024
Onoprienko A., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Added: January 31, 2024
Onoprienko A., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
The joint logic of problems and propositions QHC introduced by S. A. Melikhov, as well as intuitionistic modal logic QH4, is studied. An immersion of these logics into classical first-order predicate logic is considered. An analog of the Lowenheim-Skolem theorem on the existence of countable elementary submodels for QHC and QH4 is established. ...
Added: November 4, 2023
M.: ., 2023.
Abstracts of the conference SCAN 2023 -- Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023). ...
Added: July 7, 2023
Onoprienko A., Вестник Московского университета. Серия 1: Математика. Механика 2022 № 5 С. 25–30
The propositional fragment HC of the joint logic of problems and propositions introduced by S.A. Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic HC with respect to this type of models is shown. Topological models of the logic H4 introduced by S. Artemov and T. Protopopescu are also constructed. ...
Added: December 22, 2022
Onoprienko A., Математический сборник 2022 Т. 213 № 7 С. 97–120
Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и ...
Added: July 11, 2022