Abstract

An algebraic specification is called ω-complete or inductively complete if all (open as well as closed)
equations valid in its initial model are equationally derivable from it, i.e., if the equational theory of
the initial model is identical to the equational theory of the specification, As the latter is recursively
enumerable, the initial
... read more