The representation theorem of the Robinson hybrid
DOI:
https://doi.org/10.31489/2025m3/184-199Keywords:
Jonsson theory, Robinson theory, hybrid, perfect Robinson hybrid, similarity, Kт-equivalence, ω-categorical, cosemanticness relation, S-act, triple factorizationAbstract
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.
References
Barwise, J. (1977). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics: Volume 90.
Mustafin, T.G. (1998). Obobshchennye usloviia Ionsona i opisanie obobshchenno-ionsonovskikh teorii bulevykh algebr [Generalized Jonsson conditions and a description of generalized Jonsson theories of Boolean algebras]. Matematicheskie trudy — Mathematical works, 1(2), 135–197.
Mustafin, Y.T. (2002). Quelques proprietes des theories de Jonsson. The Journal of Symbolic Logic, 67(2), 528–536. https://doi.org/10.2178/jsl/1190150095
Yeshkeyev, A.R. (2024). Teorii i ikh modeli [Theories and their models]: monograph (Vols.1–2). Karaganda: Izdatelstvo KarU [in Russian].
Tungushbayeva, I.O., & Ilyasov, A.D. (2022). The properties of existentially prime subclasses of perfect Jonsson theories. Proceedings of the International Scientific Conference “Actual Problems of Mathematics, Mechanics and Informatics” dedicated to the 80th anniversary of Professor T.G. Mustafin (September 8-9, 2022) (pp.38-39). Karaganda: Karaganda Buketov University.
Yarullina, A.R., & Kaliolla, D.Ye. (2022). The perfect Jonsson S-acts. Proceedings of the International Scientific Conference “Actual Problems of Mathematics, Mechanics and Informatics” dedicated to the 80th anniversary of Professor T.G. Mustafin (September 8-9, 2022) (pp.40–42). Karaganda: Karaganda Buketov University.
Omarova, M., Zhumagul, D., & Nurmakova, A. (2021). Svoistva yonsonovskogo spektra otnositelno kategorichnosti [Properties of the Jonsson spectrum with respect to categoricity]. Traditsionnaia mezhdunarodnaia aprelskaia konferentsiia v chest Dnia rabotnikov nauki Respubliki Kazakhstan, posviashchennaia 75-letiiu akademikak NAN RK Tynysbeka Sharipovicha Kalmenova: Tezisy dokladov — Traditional international April conference in honor of the Day of Science Workers of the Republic of Kazakhstan, dedicated to the 75th anniversary of Academician of the National Academy of Sciences of the Republic of Kazakhstan Tynysbek Sharipovich Kalmenov: Conference Abstracts (p.125). Almaty: Institute of Mathemitics and Mathematical Modeling [in Russian].
Tungushbayeva, I. (2022). Properties of companions of AP-theories. VII Franco-Kazakh Colloquium in Model Theory. Abstracts (November 14–18, 2022) (p.10.). Lyon: Claude Bernard Lyon 1 University, Camille Jordan Institute.
Yarullina, A., Amanbekov, S., & Suindykova, A. (2023). On semantic Jonsson quasivariety of Robinson unars. Abstracts of the VII World Congress of Turkic World Mathematicians (TWMS Congress-2023) (September 20–23, 2023) (p.219). Turkestan.
Yarullina, A., Amanbekov, S., & Amandyk, B. (2023). On semantic Jonsson quasivariety of undirected graphs. Abstracts of the VII World Congress of Turkic World Mathematicians (TWMS Congress-2023) (September 20–23, 2023) (p.220). Turkestan.
Kassymetova, M.T., Mussina, N.M., & Amanbekov, S.M. (2021). Companions of hybrids of fragments of theoretical subsets. International Conference Mal’tsev Meeting (September 20– 24, 2021): Collection of Abstracts (p.167). Novosibirsk: Sobolev Institute of Mathematics, Novosibirsk State University.
Yeshkeyev, A.R., Ulbrikht, O.I., & Mussina, N.M. (2023). Similarities of Hybrids from Jonsson Spectrum and S-Acts. Lobachevskii Journal of Mathematics, 44, 5502–5518. https://doi.org/10.1134/S1995080223120399
Yeshkeyev, A.R., Tungushbayeva, I.O., & Ulbrikht, O.I. (2024). On some types of algebras of a Jonsson spectrum. Siberian electronic mathematical reports, 21(2), 866–881.
Malcev, A.I. (1970). Algebraicheskie sistemy [Algebraic systems]. Moscow: Nauka [in Russian].
Mustafin, T.G. (1990). On similarities of complete theories. Logic Colloquium 90, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Helsinki, 259–265.
Stepanova, A.A., & Efremov, E.L. (2021). The primitive normality of a class of weakly injective S-acts. Siberian Mathematical Journal, 62(3), 521–536. https://doi.org/10.1134/S0037446621030150
Amanbekov, S.M., Onerkhaan A., & Tungushbayeva, I.O. (2025). The properties of amalgamation and joint embedding in the meaning of positive Jonsson theories. Kazakh Mathematical Journal, 25(2), 6–18. https://doi.org/10.70474/18bp7004
