The Algebraic Specifications do not have the Tennenbaum Property
Grażyna Mirkowska, Andrzej Salwicki · Fundamenta Informaticae · 1996
It is commonly believed that a programmable model satisfying the axioms of a given algebraic specification guarantees good properties and is a correct implementation of the specification. This convinction might be related to the Tennenbaum's property