On the relation between heterogeneous uniform 2-algebraic closure operators and heterogeneous algebras (Q2276994)

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.