Infinitary axiomatizability of slender and cotorsion-free groups

Saharon Shelah*, Oren Kolman

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

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 languageEnglish
Pages (from-to)623-629
Number of pages7
JournalBulletin of the Belgian Mathematical Society - Simon Stevin
Volume7
Issue number4
DOIs
StatePublished - 2000

Keywords

  • Axiomatizability
  • Baer-Specker group
  • Cotorsion-free
  • Infinitary logic
  • Infinite abelian group
  • Slender

Fingerprint

Dive into the research topics of 'Infinitary axiomatizability of slender and cotorsion-free groups'. Together they form a unique fingerprint.

Cite this