?
On Shavrukov's non-isomorphism theorem for diagonalizable algebras
Review of Symbolic Logic. 2022. P. 1–38.
Kolmakov E.
We prove a strengthened version of Shavrukov’s result on the non-isomorphism of diagonalizable algebras of two Σ1-sound theories, based on the improvements previously found by Adamsson. We then obtain several corollaries to the strengthened result by applying it to various pairs of theories and obtain new non-isomorphism examples. In particular, we show that there are no surjective homomorphisms from the algebra (LT,◻T◻T) onto the algebra (LT,◻T) . The case of bimodal diagonalizable algebras is also considered. We give several examples of pairs of theories with isomorphic diagonalizable algebras but non-isomorphic bimodal diagonalizable algebras.
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
Ivchenko A., Shestoperov A. I., Fomina E. V., Microgravity Science and Technology 2025 Vol. 37 No. 19 P. 1–19
The paper is dedicated to the analysis of medico-biological data obtained during locomotor testing of astronauts. Accurate data interpretation plays a crucial role in locomotion system monitoring, prophylaxis of long-duration spaceflight negative effects and thus in the development of an autonomous medical support system for deep space expeditions. During the locomotor testing the astronaut changes ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
The article proposes the architecture for eventdriven Emergency Operation Center with Machine Vision Component. Sources of information are analyzed and approaches to machine vision events for tactical situations detection and estimation are discussed. Messages from Machine Vision Components are converted to Common Alerting Protocol and processed by Operation Center environment for tactical situations recognition. ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., Лукьянченко П. П., Computer Research and Modeling 2023 Vol. 15 No. 1 P. 129–140
In this article we propose a new approach to the analysis of econometric industry parameters for the industry consolidation level. The research is based on the simple industry automatic control model. The state of the industry is measured by quarterly obtained econometric parameters from each industry’s company provided by the tax control regulator. An approach ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., International Frequency Sensor Association (IFSA) Publishing, 19-21 February 2025 Granada, Spain 2025 P. 172–176
The paper presents models for an innovative fully robotic warehouse for storing boxed goods. A discrete multiagent simulation of the movement of shuttles in a warehouse for a given sequence of pallet shipments has been implemented. Different strategies for placement of boxes in various areas of a warehouse are evaluated, as well as optimal routing ...
Added: June 26, 2026
Fedorov Timofey, Moscow Mathematical Journal 2026 Vol. 26 No. 1 P. 73–85
We obtain a complete list of smooth projective threefolds over C for which the dimension of the space of vanishing cycles (in H2(Y,Q) of the smooth hyperplane section Y) equals 2. We also obtain a complete list of rank 2 very ample vector bundles E on smooth projective surfaces with c2(E)=3. ...
Added: June 25, 2026
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций, включенных в программу весенней математической школы. ...
Added: June 25, 2026
Dragalina-Chernaya E., 2024 Т. 13 № 1 С. 15–32
В статье сопоставляются принципы инвариантности, предлагаемые аналитической и феноменологической традициями для демаркации границ формальных и региональных онтологий. Принцип инвариантности относительно изоморфных преобразований, обобщающий критерий Альфреда Тарского для логических понятий, распространяется на формальную онтологию как теорию многообразий в ее феноменологической интерпретации. Особое внимание уделяется дискуссии аналитической и феноменологической традиций о синтетическом (материальном) априори и тому вкладу, ...
Added: February 3, 2024
Iarkova V., Ситькова А. С., Евразийский гуманитарный журнал 2023 № 2 С. 22–30
Isomorphism plays a key role in understanding the functioning patterns of diverse systems, especially a system of language. This article provides a concise overview of the accumulated knowledge of isomorphism from the perspective of philosophy and linguistics spanning from the latter half of the 20th century to the early 21st century. As a rule, isomorphism ...
Added: November 12, 2023
Dragalina-Chernaya E., В кн.: Тринадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 22–24 июня 2023 г.: М.: Философский факультет МГУ, 2023. С. 74–76.
Выявляются основания и ограничения трактовки теории обобщенной квантификации как «логики кардинальности» в абстрактной теории моделей и в нейропсихологических исследованиях обыденных рассуждений ...
Added: June 22, 2023
Kolmakov E., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 499 № 1 С. 26–30
Мы получаем усиление теоремы В.Ю. Шаврукова о неизоморфизме алгебр доказуемости двух Σ1-корректных теорий, основываясь на результатах, полученных Г. Адамссоном. Усиленное достаточное условие неизоморфизма позволяет построить новые примеры пар теорий с неизоморфными алгебрами. В частности, мы доказываем отсутствие эпиморфизмов из алгебры (LT,□T□T) на алгебру (LT,□T). ...
Added: June 30, 2022
Suvorov A., Петренко А. А., Аликин А. В., Информационные технологии и вычислительные системы 2021 № 4 С. 100–110
The article is devoted to solving the problems of search engine optimization of single-page applications built based on modern technologies of reactive JavaScript, including such JavaScript-frameworks as React, Angular, Vue, which allow developers to quickly create and scale interactive applications. However, such single page application is a complex area with a huge number of nuances ...
Added: November 16, 2021
Chrabaszcz A., Onischik E., Dragoy O., Second Language Research 2022 Vol. 38 No. 4 P. 839–867
This study examines the role of cross-linguistic transfer versus general processing strategy in two groups of heritage speakers (n = 28 per group) with the same heritage language – Russian – and typologically different dominant languages: English and Estonian. A group of homeland Russian speakers (n = 36) is tested to provide baseline comparison. Within the framework ...
Added: October 27, 2021
N.M. Suvorov, L.N. Lyadova, Proceedings of the Institute for System Programming of the RAS 2021 Vol. 33 No. 4 P. 163–176
Visual modeling is widely used nowadays, but the existing modeling platforms cannot meet all the user requirements. Visual languages are usually based on graph models, but the graph types used have significant restrictions. A new graph model, called HP-graph, whose main element is a set of poles, the subsets of which are combined into vertices ...
Added: October 23, 2021
Lomonosov T., Journal of Mathematical Sciences 2021 Vol. 255 No. 4 P. 459–466
We propose an algorithm for linearizing systems of partial differential equations at constant solutions. The algorithm is based on an isomorphism constructed between the ring of linearized functions and the ring of special matrices, which makes it possible to simplify calculations in the process of linearization. The algorithm is illustrated by applying it to the ...
Added: May 9, 2021
Леонидов А. В., Vasilyev S., Серебрянникова Е. Е. et al., В кн.: Проблемы управления и моделирования в сложных системах: Труды XXI Международной конференции. В 2-х томах.: Самара: ООО «Офорт», 2019. С. 221–224.
Graph is a universal representation of different social and economic systems. Vertices of a graph represent objects of different kind and edges describe interrelations between these objects. Vertices and edges can be characterized by a set of attributes describing different properties of objects and relations between them. A graph is called a multi-graph If its ...
Added: December 20, 2019
Миняев М., Нифантьев И., Тавторкин А. et al., Acta Crystallographica. Section C, Structural chemistry 2017 Vol. 73 P. 820–827
The crystal structures of rare-earth diaryl- or dialkylphosphate derivatives are poorly explored. Crystals of bis[bis(2,6-diisopropylphenyl) phosphato-kappa O] chloridotetrakis( methanol-kappa O) neodymium methanol disolvate, [Nd(C24H34O4P)Cl( CH4O)(4)]center dot 2CH(3)OH, (1), and of the lutetium, [Lu(C24H34O4P) Cl(CH4O)(4)]center dot-2CH(3)OH, (2), and yttrium, [Y(C24H34O4P) Cl(CH4O)(4)]center dot 2CH(3)OH,(3), analogues have been obtained by reactions between lithium bis(2,6-diisopropylphenyl)-phosphate and LnCl(3)(H2O)(6) (in a ...
Added: October 4, 2019
Gavrilovich M., / Series IHES/M/19/03 " Les Publications mathématiques de l’IHES". 2019.
We formulate two conjectures about ´etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form of the ´etale cohomology of complex algebraic varieties, up to AutC-action on the source category; put differently, each comparison isomorphism between Betti and ´etale cohomology comes from a choice ...
Added: May 31, 2019
Avramenko I. A., Мировая литература в контексте культуры 2014 Т. 9 № 3 С. 51–61
The article suggests a genre model for novel-myth which can be discerned in «The God of Small Things» by Arundhati Roy. The author argues against devising the model solely on the basis of parallels between the content of the novel and mythological images and motifs. Instead such mythomodeling categories as time, recollection and reader are ...
Added: February 11, 2015
Grinin L. E., Korotayev A., Крадин Н. Н., В кн.: Теория и методология истории: учебник для вузов.: Волгоград: Учитель, 2014. С. 386–408.
Методы исторического исследования традиционно делятся на две большие группы: общие методы научного исследования и специальные исторические методы. Однако нужно иметь в виду, что подобное деление в некоторой степени условно. Например, так называемый «исторический» метод используется не только историками, но и представителями самых различных естественных и общественных наук. ...
Added: October 9, 2014
Avramenko I. A., В кн.: Память и нарратив.: Воронеж: НАУКА-ЮНИПРЕСС, 2012. С. 43–49.
Данная статья – попытка установить и рассмотреть отношения определенного рода соответствия между повествовательными уровнями художественного произведения. В первом приближении эти отношения могут быть определены как диалогические, на основании концепции М.М.Бахтина. Для описания художественного повествования как системы, связывающей реального автора с реальным читателем через посредство имплицитного автора, скрытого или явного нарратора/нарраторов, персонажей и соответствующих наррататоров и ...
Added: January 30, 2014