?
On Undecidability of Subset Theory for Some Monoids
Journal of Physics: Conference Series. 2021. Vol. 1902. Article 012060.
Early we (with B. N. Karlov) have proved the following claim for the infinite cyclic monoid H. Let exp H be an algebra of finite subsets of H with the same operation, exp H must be a monoid again. So the theory of exp H is equivalent to elementary arithmetic. Thus, the theory of the monoid exp H is undecidable. Here we consider an arbitrary commutative cancellative monoid with an element of infinite order, and generalize the previous claims to the corresponding monoid exp H.
Калужский печатный двор, 2026.
Conference Proceedings INTERNATIONAL CONFERENCE
“Mathematical Ideas of Academician
P.L. Chebyshev, Their Applications in Natural
Sciences and Artificial Intelligence Technologies”
dedicated to the 205th anniversary of his birth ...
Added: June 20, 2026
Джанбекова А. Р., Shvedov A. S., Математическое моделирование 2026 Т. 38 № 3 С. 159–176
Boundary value problems for the Black–Scholes partial differential equation, which describes the value of a financial instrument, may contain a free boundary condition if the financial instrument allows for early exercise. This article considers free boundary value problems for the Black–Scholes equation and the convection diffusion equation. For the convection diffusion equation, a finite difference ...
Added: June 20, 2026
Buryak A., Tessler R., Troshkin M., Journal of Geometry and Physics 2026 Vol. 223 Article 105783
We give a natural definition of open Hurwitz numbers, where the weight of each ramified covering includes an integer parameter N taken to the power that is equal to the number of boundary components of a Riemann surface with boundary mapping to . We prove that the resulting sequence of partition functions, depending on , is a tau-sequence of ...
Added: June 19, 2026
Buryak A., Rossi P., Communications in Mathematical Physics 2025 Vol. 406 Article 205
Of the two approaches to integrable systems associated to semisimple cohomological field theories (CohFTs), the one suggested by Dubrovin and Zhang and the more recent one using the geometry of the double ramification (DR) cycle, the second has the advantage of being very explicit. The Poisson operator of the DR hierarchy is , where is the metric ...
Added: June 19, 2026
Cham: Springer Publishing Company, 2026.
The four-volume set LNCS 16483-16486 constitutes the refereed conference proceedings of the 48th European Conference on Information Retrieval, ECIR 2026, held in Delft, The Netherlands, during March 29–April 2, 2026.
The 46 full papers and 37 short papers presented together with 10 findings papers, 9 reproducibility papers, 17 resource papers, 11 workshop papers, 7 tutorial papers, ...
Added: June 18, 2026
Poddiakov A., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Added: June 18, 2026
Garzón J., Mora Rodríguez J., Moreno-Franco H. A., Applied Mathematics and Optimization 2026 Vol. 94 No. 10 P. 1–43
We study an optimal extraction problem where the agent’s actions in the spot market exert an additive proportional negative impact on the commodity price. The commodity price dynamics, prior to any activity by the agent, evolve according to a drifted Brownian motion with jumps. The agent’s primary aim is to identify an optimal extraction strategy ...
Added: June 17, 2026
Nesterov A. S., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Added: June 16, 2026
Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7
By the Ramsey number R(K1,s,Pt) one means the least positive integer n such that, for every n-vertex graph G, the following condition holds: either G contains a vertex of degree at least s or the complement of G contains a simple t-path. In this paper, we fi nd precise values of R(K1,s,Pt) for certain values ...
Added: June 10, 2026
Springer, 2026.
The book presents the proceedings of the 13th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2024), held at Intelligent Systems Research Group (ISRG), London Metropolitan University, London, United Kingdom, during June 6–7, 2025. Researchers, scientists, engineers and practitioners exchange new ideas and experiences in the domain of intelligent computing theories with ...
Added: June 8, 2026
Flamarion M. V., Pelinovsky E., Nonlinear Dynamics 2026 Vol. 114 Article 784
In this article, we investigate wave packet and solitary wave dynamics in the Whitham–Ostrovsky (WO) equation. By means of a multiple-scales expansion, we formally derive a nonlinear Schrödinger (NLS) equation governing the envelope evolution.The corresponding modulational stability diagram is then obtained using the Lighthill criterion. We show that sufficiently large values of the low-frequency dispersive term render ...
Added: June 5, 2026
Arzhantsev I., Sbornik Mathematics 1999 Vol. 190 No. 7 P. 937–954
The language of filtrations and contractions is used to describe the class of G-varieties obtained as the total spaces of the construction of contraction applied to affine spherical varieties, which is well-known in invariant theory.
These varieties are local models for arbitrary affine G-varieties of complexity 1 with a one-dimensional categorical quotient. As examples, reductive algebraic semigroups ...
Added: June 13, 2025
Istomina A., Arsalidou M., Developmental Cognitive Neuroscience 2024 Vol. 69 Article 101419
Mathematical operations are cognitive actions we take to calculate relations among numbers. Arithmetic operations, addition, subtraction, multiplication, and division are elemental in education. Addition is the first one taught in school and is most popular in functional magnetic resonance imaging (fMRI) studies. Division, typically taught last is least studied with fMRI. fMRI meta-analyses show that ...
Added: August 12, 2024
Posicelskaya M. A., Rudchenko T. A., Semenov A., Doklady Mathematics 2023 Vol. 107 No. 1 P. S10–S41
In recent decades, several Russian schools have been implementing a world-unique education program of mathematics for elementary schools. In it, the landscape of school arithmetic is radically expanded due to the basic objects of modern mathematics and computer science. These objects and their operations are visual, making them much more comprehensible than traditional arithmetic. The ...
Added: March 14, 2024
Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478
This paper is dedicated to studying decidability properties of theories of regular languages with classical operations: union, concatenation, and the Kleene star. The theory with union only is a theory of some Boolean algebra, so it is decidable. We prove that the theory of regular languages with the Kleene star only is decidable. If we ...
Added: November 12, 2023
Sergey Mikhailovich Dudakov, Mathematics 2022 Vol. 10 No. 3 Article 533
Let M be a commutative cancellative monoid with an element of infinite order. The binary operation can be extended to all finite subsets of M by the
pointwise definition. So, we can consider the theory of finite subsets of M. Earlier, we have proved the following result: in the theory of finite subsets of M elementary ...
Added: November 12, 2023
Zapryagaev A., / Series arXiv "math". 2022.
Added: December 7, 2022
Sokół J., Kucharek H., Baliukin I. et al., Space Science Reviews 2022 Vol. 218 No. 3 Article 18
Interstellar neutrals (ISNs), pick-up ions (PUIs), and energetic neutral atoms (ENAs) are fundamental constituents of the heliosphere and its interaction with the neighboring interstellar medium. Here, we focus on selected aspects of present-day theory and modeling of these particles. In the last decades, progress in the understanding of the role of PUIs and ENAs for ...
Added: October 27, 2022
Rutkevich A. M., Тетради по консерватизму 2022 № 1 С. 15–42
The term “Empire” as applied today to so different states in known history makes it diffi cult even
to give the defi nition of empire. Historical knowledge begins with critics of the sources, reconstruction of events and
ascertainment of facts. The construction of theory is possible only after the phenomenological description, whereas the
thoughtless use of modern models ...
Added: August 31, 2022
Rocco T. S., Plakhotnik M. S., Silberman D., Human Resource Development Review 2022 Vol. 21 No. 1 P. 113–140
The purpose of this article is to promote conceptual and theoretical scholarship in human resource development by providing insights and guidance on differences between conceptual and theory articles and when and how to create such scholarship. First, we discuss the role of Human Resource Development Review and conceptual and theory articles in assisting human resource ...
Added: July 10, 2022
Gofman A. B., Pokrovsky N., Социологические исследования 2021 № 9 С. 3–15
The situation with the present-day theoretical sociology in Russia and abroad. Round table organized by the revue "Sotsiologuitcheskie issledovania" Juin 2 2021. ...
Added: October 19, 2021
Kashnikov B., Человек 2021 Т. 32 № 3 С. 76–87
The theory of justice by John Rawls belongs to the set of “local”
theories in ethics. These theories constitute a middle ground between
strong ethical theories and the so-called “anti-theories”. The local theories
do not possess many specific features of the grand theories, but also are
lacking many of the drawbacks, for which they are attacked by the “antitheorists”.
These ...
Added: September 26, 2021
Biro P., Hartline J., NY: Association for Computing Machinery (ACM), 2020.
The papers in these Proceedings were presented at the Twenty First ACM Conference on Economics and Computation (EC'20), held between July 13 and 17, 2020. While the conference was originally scheduled to take place in Budapest, Hungary, it was moved to a virtual online format because of the COVID-19 worldwide pandemic.
The program committee selected 99 ...
Added: August 25, 2020
Oxford: Oxford University Press, 2019.
Political, social, and economic transformation is a complex historical phenomenon. It can adequately be analysed only by a multidisciplinary approach. The Handbook brings together an international team of scholars who are specialists in their respective research fields. It introduces the most important areas, theories, and methods in transformation research, with particular attention placed on ...
Added: October 4, 2019