On a weak form of equational compactness (Q1966137)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On a weak form of equational compactness |
scientific article; zbMATH DE number 1407090
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a weak form of equational compactness |
scientific article; zbMATH DE number 1407090 |
Statements
On a weak form of equational compactness (English)
0 references
27 February 2000
0 references
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.
0 references
solvable system of equations
0 references
ultraproducts of modules
0 references
\(\alpha\)-compactness
0 references
