Infinitary Axiomatizability of Slender and Cotorsion-Free Groups
Logic
2007-05-23 v1
Abstract
The classes of slender and cotorsion-free abelian groups are axiomatizable in the infinitary logics L_{infty,omega_1} and L_{infty,omega}, respectively. The Baer-Specker group Z^omega is not L_{infty,omega_1}-equivalent to a slender group.
Cite
@article{arxiv.math/9910162,
title = {Infinitary Axiomatizability of Slender and Cotorsion-Free Groups},
author = {Oren Kolman and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9910162},
year = {2007}
}