On Specifying Sets of Integers

J. Bergstra,J. Meyer
Abstract:We consider the problem of deriving an algebraic specification for a rather simple set-theoretical data type called SOI#. SOI# is merely a collection of finite sets of integers equipped with an operator to insert a number into a set and another to determine the cardinality of a set. We show SOI# has a finite conditional specification, but no finite equational specification, under the initial algebra semantics for specifications invented by the ADJ Group.
What problem does this paper attempt to address?