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 ^ .