2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/79302The 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.Logic20A15 (Primary) 03C55, 03C75, 20A05, 20K20 (Secondary)text