Infinitary Axiomatizability of Slender and Cotorsion-Free Groups
英文摘要:
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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。