On the universal theory of classes of finite models
Sauro Tulipani · Transactions of the American Mathematical Society · 1984
First order theories for which the truth of a universal sentence on their finite models implies the truth on all models are investigated. It is proved that an equational theory has such a property if and only if every finitely presented model is residually finite. The most common classes of algebraic structures are discussed.