| Title:
|
The weak hereditary class of a variety (English) |
| Author:
|
Bartol, Wiktor |
| Author:
|
Rosselló, Francesc |
| Language:
|
English |
| Journal:
|
Czechoslovak Mathematical Journal |
| ISSN:
|
0011-4642 (print) |
| ISSN:
|
1572-9141 (online) |
| Volume:
|
56 |
| Issue:
|
2 |
| Year:
|
2006 |
| Pages:
|
697-710 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We study the weak hereditary class $S_{w}(\mathcal K)$ of all weak subalgebras of algebras in a total variety $\mathcal K$. 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. (English) |
| Keyword:
|
partial algebras |
| Keyword:
|
varieties |
| Keyword:
|
weak subalgebras |
| Keyword:
|
weak equations |
| MSC:
|
08A55 |
| MSC:
|
08B99 |
| idZBL:
|
Zbl 1164.08303 |
| idMR:
|
MR2291768 |
| . |
| Date available:
|
2009-09-24T11:37:13Z |
| Last updated:
|
2020-07-03 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/128098 |
| . |
| Reference:
|
[1] 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). MR 0709027 |
| Reference:
|
[2] P. Burmeister: A Model Theoretic Approach to Partial Algebras. Math. Research 32.Akademie-Verlag, Berlin, 1986. MR 0854861 |
| Reference:
|
[3] G. Grätzer, E. T. Schmidt: Characterizations of congruence lattices of abstract algebras.Acta Sci. Math. (Szeged) 24 (1963), 34–59. MR 0151406 |
| Reference:
|
[4] D. Jakubíková-Studenovská: On completions of partial monounary algebras.Czechoslovak Math. J. 38 (1988), 256–268. MR 0946294 |
| Reference:
|
[5] 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. MR 1794795 |
| Reference:
|
[6] J. Schmidt: A homomorphism theorem for partial algebras.Colloq. Math. 21 (1970), 5–21. Zbl 0199.32402, MR 0281680, 10.4064/cm-21-1-5-21 |
| Reference:
|
[7] B. Staruch, B. Staruch: Strong regular varieties of partial algebras.Alg. Univ. 31 (1994), 157–176. MR 1259347, 10.1007/BF01236515 |
| Reference:
|
[8] R. Szymański: Decidability of weak equational theories.Czechoslovak Math. J. 46 (1996), 629–664. MR 1414600 |
| . |
