?
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.
Springer, 2027.
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education. LNCS enjoys close cooperation with the computer science R & ...
Added: July 8, 2026
Маликов М. А., Монахова Э. А., Rzaev E. et al., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
This article examines series of families of two-dimensional circulant networks with rectangular
L -shapes, optimal in diameter, as network-on-chip topologies with a minimal number of crossings
between the links and a bounded length of the maximum link that does not depend on the network
size. New network-on-chip routing algorithms, which use the coordinates of three adjacent zeros in
the ...
Added: July 8, 2026
Pilé I., Shchur L., Deng Y., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 Article 014101
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Swendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for models in different universality classes: Ising model, Potts model with three components, and four-state Potts model. The overlap of two ...
Added: July 6, 2026
Irkutsk: ISDCT SB RAS, 2026.
We study a model problem on the filtration of a conducting fluid through a
porous layer. A porous medium is presented as an assemblage of identical spherical
cells. Each cell consists of a porous core and liquid shell. We derive apriori estimates
for flow characteristics which show the specific behavior of the fluid. Our estimates
are validated numerically. ...
Added: July 5, 2026
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г.
Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций.
Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы.
Переход к глобальному информационному ...
Added: July 4, 2026
МФТИ, 2025.
абота редакции научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.
Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Added: July 4, 2026
Springer, 2026.
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of ...
Added: June 30, 2026
Pochinka O., Barinova M., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
In the present paper we consider an Ω-stable 3-diffeomorphism with a solid or thickened surfaced non-trivial basic set. Such basic sets include, for instance, all one-dimensional expanding attractors and those two-dimensional basic sets that are not expanding. We prove that the chain recurrent set of every such a diffeomorphism necessarily contains at least two non-trivial ...
Added: June 30, 2026
German O., Illarionov A., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Added: June 29, 2026
Ivchenko A., Nigmatullin R. R., Dorokhin S. V., Mathematics 2021 Vol. 9 No. 4 Article 381
n this paper, we focus on the generalization of the Hurst empirical law and suggest a set of reduced parameters for quantitative description of long-time series. These series are usually considered as a specific response of a complex system (economic, geophysical, electromagnetic and other systems), where successive fixations of external factors become impossible. We consider ...
Added: June 27, 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
Vyalyi M., Леонтьев В. К., Problems of Information Transmission 2019 Vol. 55 No. 2 P. 152–173
The operation of Minkowski addition of geometric figures has a discrete analog, addition of subsets of a Boolean cube viewed as a vector space over the two-element field. Subsets of the Boolean cube (or multivariable Boolean functions) form a monoid with respect to this operation. This monoid is of interest in classical discrete analysis as ...
Added: August 6, 2019