×

On the relation between heterogeneous uniform 2-algebraic closure operators and heterogeneous algebras. (English) Zbl 0724.08001

Although every heterogeneous theory can be replaced by a homogeneous theory there exist heterogeneous algebraic closure systems which cannot be correctly represented as the set of subalgebras of a heterogeneous algebra. In this paper a class of heterogeneous algebraic closure operators is specified that has concrete representations.
Reviewer: Ja.Henno (Naasa)

MSC:

08A30 Subalgebras, congruence relations
06A15 Galois correspondences, closure operators (in relation to ordered sets)
08B05 Equational logic, Mal’tsev conditions
PDF BibTeX XML Cite
Full Text: EuDML