The question about the structure of lattices of subclasses of various classes of algebras is one of the basic ones in universal algebra. The case under consideration most frequently concerns lattices of subvarieties (subquasivarieties) of varieties (quasivarieties) of universal algebras. A similar question is also meaningful for other classes of algebras, in particular, for universal (i.e., axiomatizable by ∀-formulas) classes of algebras. The union of two ∀-classes is itself a ∀-class, hence such lattices are distributive. As a rule, those lattices of subclasses are rather large and are not simply structured. In this connection, it is of interest to distinguish some sublattices of such lattices that would model certain properties of the lattices themselves. The present paper deals with a similar problem for ∀-classes and varieties of universal algebras.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. G. Pinus, “On direct and inverse limits of retractive spectra,” Sib. Math. J., 58, No. 6, 1067-1070 (2017).
H. Werner, Discriminator Algebras, Akademic-Verlag, Berlin (1978).
A. G. Pinus, Conditional Terms and Their Applications in Algebra and Computation Theory [in Russian], NGTU, Novosibirsk (2002).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 58, No. 3, pp. 363-369, May-June, 2019.
Rights and permissions
About this article
Cite this article
Pinus, A.G. Lattices of Boundedly Axiomatizable ∀-Subclasses of ∀-Classes of Universal Algebras. Algebra Logic 58, 244–248 (2019). https://doi.org/10.1007/s10469-019-09542-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-019-09542-2