Criterion for a formula-definable quasivariety

M. I. Bekenov, A. Mamyraly, Aida Kassatova, A. Kabidenov

BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2026

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.31489/2026m1/103-109
Data confidence 85 high
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

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.