arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/9910162math.LO
收藏

细长余挠自由群的无穷公理化

Infinitary Axiomatizability of Slender and Cotorsion-Free Groups

Oren Kolman, Saharon Shelah

摘要:

在无限逻辑L_{infty,omega_1}和L_{infty,omega}中,细长和无余挠阿贝尔群类分别是可公理化的. Baer-Specker群Z^ω不是L_{infty,omega_1} -等价于细长群。

英文摘要:

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分析而来,可能存在错误,请以论文正文为准。

↑