ABSTRACT
THEOREM 1^ The class associated to cd is . The pair T cj,cd(0) is a d - frame, and the relation of cd-interdeducibility coincides w ith the relation R^ of K P^-interdeducibility . For every finite M and every v it is equivalent that
v ecd(M )
M = 4 v is K P d-derivab le
for every A in A j and for for every homomorphism h from T d in A : if h(m) = e^ for every m in M then h(v) = e ^ .