Abstract
The classes of slender and cotorsion-free abelian groups are axiomatizable in the infinitary logics L∞ω1 and L∞ω, respectively. The Baer-Specker group ℤω is not L∞ω1-equivalent to a slender group.
Original language | English |
---|---|
Pages (from-to) | 623-629 |
Number of pages | 7 |
Journal | Bulletin of the Belgian Mathematical Society - Simon Stevin |
Volume | 7 |
Issue number | 4 |
DOIs | |
State | Published - 2000 |
Keywords
- Axiomatizability
- Baer-Specker group
- Cotorsion-free
- Infinitary logic
- Infinite abelian group
- Slender