Minimal Signature for Partial Algebra
Grzegorz Bancerek · 1996
Summary. The concept of characterizing of partial algebras by many sorted signature is introduced, i.e. we say that a signature S characterizes a partial algebra A if there is an Salgebra whose sorts form a partition of the carrier of algebra A and operations are formed from operations of A by the partition. The main result is that for any partial algebra there is the minimal many sorted signature which characterizes the algebra. The minimality means that there are signature endomorphisms from any signature which characterizes the algebra A onto the minimal one.