The representation theorem of the Robinson hybrid
Mussina N.M. Ulbrikht O.I.
30 September 2025E.A. Buketov Karaganda University Publish house
Bulletin of the Karaganda University. Mathematics Series
2025#119Issue 3184 - 199 pp.
This research lies within the domain of model theory, which investigates the properties of, broadly speaking, incomplete theories. The article introduces novel methods for classifying classes of structures whose associated theories are Jonssonian, forming a distinct subclass within the broader category of inductive theories. This subclass is characterized by satisfying the standard model-theoretic properties of joint embedding and amalgamation. The focus is placed specifically on the second kind of hybrids, those involving theories with different signatures. As a representative case of such hybrids among Jonsson theories, we examine the classical examples of the theory of unars and the theory of undirected graphs. The study proposes and formalizes several new notions, including the perfect Robinson hybrid, the center of a Robinson hybrid, the Kaiser class of a theory, and the concept of triple factorization. Within the framework of these definitions, we establish new results, among them a theorem confirming the existence of a unique countably categorical theory of S-acts, which is syntactically equivalent to the Robinson hybrid formed by the aforementioned classes.
cosemanticness relation , hybrid , Jonsson theory , KT-equivalence , perfect Robinson hybrid , Robinson theory , S-act , similarity , triple factorization , ω-categorical
Text of the article Перейти на текст статьи
Department of Algebra, Mathematical Logic and Geometry named after Professor T.G. Mustafin, Karaganda Buketov University, 28 Universitetskaya street, Karaganda, 100028, Kazakhstan
Department of Algebra
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026