HSP-type characterization of strong equational classes of partial algebras (Q1035840): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Free partial algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A homomorphism theorem for partial algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5537657 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong regular varieties of partial algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4870686 / rank | |||
Normal rank |
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