Criterion for a formula-definable quasivariety
DOI:
https://doi.org/10.31489/2026m1/103-109Keywords:
model, identities, quasi-identities, variety, quasi-variety, Cartesian product of theories, elementary type, h-quasi-identities, equivalence relation, Boolean algebraAbstract
In this paper, we study classes of models of a first-order language L with a countable signature σ. For a model A, let Th(A) denote the set of all sentences of L that are true in A, called the elementary type of A. The cardinality of the set T of all elementary types of the signature σ does not exceed the continuum. The product of elementary types of models A and B is defined by Th(A) · Th(B) = Th(A × B), where A × B is the Cartesian product of A and B. Infinite products, ultraproducts, and ultrapowers of elementary types with respect to an ultrafilter D are defined analogously. This yields an algebra hT,·i, which is a commutative semigroup with identity and zero. A binary absorption (recognition) relation is introduced in this semigroup. An elementary type N absorbs an elementary type M if N · M = N. This notion leads to the concept of a formula-definable class of models. Formula-definable classes are closed under ultraproducts as well as finite and infinite direct products; they are idempotently formula-definable and axiomatizable. Varieties and quasivarieties are also considered. All varieties form formula-definable classes of models. Examples of a formula-definable class of models and of a class that is not formula-definable are given. An example of a formula-definable quasivariety that is not a variety is presented. It is shown that not all quasivarieties are formula-definable. Criteria are obtained for a quasivariety to be formula-definable and for a formula-definable class of models to be a quasivariety.
References
Maltsev, A.I. (1970). Algebraicheskie sistemy [Algebraic systems]. Moscow: Nauka [in Russian].
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
Weinstein, J.M. (1965). First-order properties preserved by direct product (Doctor’s Thesis). University of Wisconsin–Madison.
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
Wierzejewski, J. (1976). On stability and products. Fundamenta Mathematicae, 93, 81–95. https://doi.org/10.4064/fm-93-2-81-95
Stepanova, A.A., & Krasitskaya, A.I. (2021). P-stability of some classes S-acts. Siberian Mathematical Journal, 62(2), 357–363. https://doi.org/10.1134/S0037446621020142
Kulpeshov, B.Sh., Pavlyuk, I.I., & Sudoplatov, S.V. (2025). Pseudo-countably-categorical formulas and theories. Mathematical Notes, 117(3), 442–457. https://doi.org/10.1134/S0001434625030095
Shvidefski, M.V. (2020). On a class of subsemigroup lattices. Siberian Mathematical Journal, 61(5), 1177–1193. https://doi.org/10.33048/smzh.2020.61.517
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
Garcia, D., Macpherson, D., & Steinhorn, C. (2015). Pseudofinite structures and simplicity. Journal of Mathematical Logic, 15(1), Article 1550002. https://doi.org/10.1142/S0219061315500026
Baizhanov, B., Orynbassarov, D., & Verbovskiy, V. (2020). Some remarks on definability of types and conservative extensions. Kazakh Mathematical Journal, 20(3), 92–100.
Yeshkeyev, A.R., & Ulbrikht, O.I. (2016). JSp-kosemantichnost i JSB svoistvo abelevykh grupp [JSp-cosemanticness and JSB property of Abelian groups]. Sibirskie elektronnye matematicheskie izvestiia — Siberian Electronic Mathematical Reports, 13, 861–874 [in Russian]. https://doi.org/10.17377/semi.2016.13.068
Markhabatov, N.D. (2022). Approximations of acyclic graphs. The Bulletin of Irkutsk State University. Series Mathematics, 40, 104–111. https://doi.org/10.26516/1997-7670.2022.40.104
Macpherson, D., & Tent, K. ω-categorical pseudofinite groups. arXiv preprint, [math.LO]. https://doi.org/10.48550/arXiv.2403.17684
Palchunov, D.E. (2022). Model Theory of Subject Domains. I. Algebra and Logic, 61(2), 166–173. https://doi.org/10.1007/s10469-022-09685-9
