A simple transfer lemma for algebraic specifications

Abstract

(If we say that V and ckp are equivalent w.r.t. expressiveness, in future we shall always assume #(D v) = #$(D w), because it has no meaning otherwise.) ln this paper we shall prove the following theorem: Theorem. Let c)3 and W be two algebraic structures with equal expressiveness. Then it holds that: 99 has an initial algebra specification (in the sense of the ADJ Group) iff W has. When proving this, which we shall do in section 2, we shall make explicit how I specification must be ‘translated’. In section 3 we shall illustrate this theorem