On a weak form of equational compactness
It is shown that if \(\alpha \) is a cardinal number with uncountable cofinality then every finitely solvable system of \(\alpha \) equations over any countable algebra has a solvable subsystem consisting of \(\alpha \) equations. As an application, this property is used to generalize some results of Jensen and Lenzing on the non-compactness of ultrapowers of modules.
scientific article; zbMATH DE number 1407090