HSP-type characterization of strong equational classes of partial algebras (Q1035840): Difference between revisions
From MaRDI portal
Latest revision as of 03:27, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | HSP-type characterization of strong equational classes of partial algebras |
scientific article |
Statements
HSP-type characterization of strong equational classes of partial algebras (English)
0 references
4 November 2009
0 references
Let \({\mathcal K}\) be a class of partial algebras, \(S({\mathcal K})\), \(In({\mathcal K})\), \(P({\mathcal K})\), \(H_c ({\mathcal K})\) be the classes of all algebras isomorphic to subalgebras, initial segments, products and closed homomorphic images of algebras from \({\mathcal K}\), respectively, and \(E({\mathcal K})\) be the specific extension of \({\mathcal K}\) (preserves all strong equations). It is proved that a class \({\mathcal K}\) can be defined by a set of strong equations iff \({\mathcal K} = H_c EInSP({\mathcal K})\).
0 references
partial algebra
0 references
equational logic
0 references
strong equation
0 references
equational class
0 references
0 references
0 references