Properties of semigroups of elementary types of model classes
DOI:
https://doi.org/10.31489/2025m3/142-149Keywords:
idempotent, axiomatizable class, formula-definable semigroups, properties of semigroups, model companion, formula-definable model, elementary types of model classes, non-formula-definable model classes, countable signatureAbstract
The study of classes of first-order countable language models and their properties is an important direction in model theory. Of particular interest are axiomatizable classes of models (varieties, quasivarieties, finitely axiomatizable classes, Jonssonian classes, etc.). In this paper we present the results obtained on the properties of formula-definable classes of models and formula-definable semigroups of elementary types, namely, we study the properties of semigroups of elementary types of models in a first-order language. We consider products of elementary types which form a commutative semigroup with unit. A two-place relation of absorption of one elementary type by another is introduced, which allows us to distinguish formula-definable semigroups of elementary types and corresponding classes of models. On the basis of the axiomatizability property of formula-definite semigroups of elementary types, their connection with ultraproducts and infinite products is established. Examples of idempotently formula-definite and non-idempotently formuladefinite semigroups are given, and their peculiarities are discussed. The paper demonstrates both the study of semigroups of elementary types and the study of properties of formula-definite classes of models.
References
Keisler, J., & Chen, Ch.Ch. (1977). Teoriia modelei [Model Theory]. Moscow: Mir [in Russian].
Maltsev, A.I. (1970). Algebraicheskie sistemy [Algebraic systems]. Moscow: Nauka [in Russian].
Wierzejewski, J. (1976). On stability and products. Fundamenta Mathematicae, 93, 81–95. https://doi.org/10.4064/fm-93-2-81-95
Shvidefski, M.V. (2020). Ob odnom klasse reshetok podpolugrupp [On a class of subsemigroup lattices]. Sibirskii matematicheskii zhurnal — Siberian Mathematical Journal, 61(5), 1177–1193 [in Russian]. https://doi.org/10.33048/smzh.2020.61.517
Palchunov, D.E. (2022). Teoriia modelei predmetnykh oblastei [Domain Model Theory]. Algebra i Logika — Algebra and Logic, 61(2), 239–250 [in Russian]. https://doi.org/10.33048/alglog.2022.61.207
D’Aquino, P., & Macintyre, A. (2024). Products of pseudofinite structures. arXiv preprint, arXiv:2411.08808 [math.LO]. https://doi.org/10.48550/arXiv.2411.08808
Sudoplatov, S.V., (2020). Approximations of theories. Siberian Electronic Mathematical Reports, 17, 715–725. https://doi.org/10.33048/semi.2020.17.049
Bekenov, M.I., & Nurakunov, A.M. (2021). Polupodgruppa teorii i ee reshetka idempotentnykh elementov [Semisubgroup of theories and its lattice of idempotent elements]. Algebra i Logika — Algebra and Logic, 60(1), 3–22 [in Russian]. https://doi.org/10.33048/alglog.2021.60.101
Bekenov, M., Kassatova, A., & Nurakunov, A. (2024). On absorption’s formula definable semigroups of complete theories. Archive for Mathematical Logic, 64, 107–116. https://doi.org/10.1007/s00153-024-00937-2
Bekenov, M.I., & Nurakunov, A.M. (2021). A Semigroup of Theories and Its Lattice of Idempotent Elements. Algebra and Logic, 60, 1–14. https://doi.org/10.1007/s10469-021-09623-1
Bekenov, M.I., (2018). Properties of Elementary Embeddability in Model Theory. Journal of Mathematical Sciences, 230, 10–13. https://doi.org/10.1007/s10958-018-3721-4
