On a weak form of equational compactness

DOI10.1007/S000120050068MaRDI QIDQ1966137zbMATH OpenOpenAlexFDO

Authors Abdallah Laradji

Publication date 27 February 2000

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s000120050068

zbMATH Keywords

\(\alpha\)-compactnesssolvable system of equationsultraproducts of modules

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Equational compactness (08A45) Axiomatic model classes (08C10)

Review text

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.

Recommendations

• A Generalization of Algebraic Compactness
• On a problem of Wenzel on equational compactness of modules
• scientific article; zbMATH DE number 78015
• Compactness via equivalence relations
• Compactness in equational logic

Cited in

(8)

• On a problem of Wenzel on equational compactness of modules
• scientific article; zbMATH DE number 78015 (Why is no real title available?)
• On a problem of 0-limits
• A Generalization of Algebraic Compactness
• On the nontrivial solvability of systems of homogeneous linear equations over \mathbb Z in ZFC
• Absolutely equationally compact monoids.
• Compactness in equational logic
• Weak completeness in \(\text{E}\) and \(\text{E}_{2}\)

This page was built for publication: On a weak form of equational compactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1966137)