Many authors in the discipline as well as outsiders have claimed that the main results from Mathematical Economics are far removed from real world phenomena. A more precise version of this position is that one of the main ...

Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite ...