Abstract
We study the expressive power of different algebraic specification methods.
In contrast to (nonhierarchical) initial and terminal algebra specifications which
correspond to semicomputable and cosemicomputable algebras, hierarchical
specifications - as e.g. in the specification language CLEAR - allow to specify
hyperarithmetical algebras and are characterized by them. For partial abstract
types we prove that every
... read more
