Abstract
We study the weak hereditary class S w (
) of all weak subalgebras of algebras in a total variety
}. We establish an algebraic characterization, in the sense of Birkhoff’s HSP theorem, and a syntactical characterization of these classes. We also consider the problem of when such a weak hereditary class is weak equational.
Similar content being viewed by others
References
H. Andréka, I. Németi: Generalization of the concept of variety and quasivariety to partial algebras through category theory. Dissertationes Math. (Rozpr. Matem.) 204, (1983).
P. Burmeister: A Model Theoretic Approach to Partial Algebras. Math. Research 32. Akademie-Verlag, Berlin, 1986.
G. Grätzer, E. T. Schmidt: Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) 24 (1963), 34–59.
D. Jakubíková-Studenovská: On completions of partial monounary algebras. Czechoslovak Math. J. 38 (1988), 256–268.
M. Llabrés, F. Rosselló: Pushout complements for arbitrary partial algebras. In: Proc. 6th International Workshop on Theory and Application of Graph Transformation TAGT’98. Lect. Notes in Comp. Sc. 1764. 2000, pp. 131–144.
J. Schmidt: A homomorphism theorem for partial algebras. Colloq. Math. 21 (1970), 5–21.
B. Staruch, B. Staruch: Strong regular varieties of partial algebras. Alg. Univ. 31 (1994), 157–176.
R. Szymański: Decidability of weak equational theories. Czechoslovak Math. J. 46 (1996), 629–664.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bartol, W., Rosselló, F. The weak hereditary class of a variety. Czech Math J 56, 697–710 (2006). https://doi.org/10.1007/s10587-006-0049-x
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10587-006-0049-x