HSP-type characterization of strong equational classes of partial algebras
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})\).
- A homomorphism theorem for partial algebras
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- Free partial algebras.
- scientific article; zbMATH DE number 3963900 (Why is no real title available?)
- scientific article; zbMATH DE number 859904 (Why is no real title available?)
- scientific article; zbMATH DE number 3248852 (Why is no real title available?)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Strong regular varieties of partial algebras
- Algebraic theory of quasivarieties of heterogeneous partial algebras
- On Höft's characterization of weak model classes
- scientific article; zbMATH DE number 4055689 (Why is no real title available?)
- scientific article; zbMATH DE number 1107755 (Why is no real title available?)
- scientific article; zbMATH DE number 859904 (Why is no real title available?)
- First order theories for partial models
This page was built for publication: HSP-type characterization of strong equational classes of partial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035840)
