摘要：纤细和无齿自由的阿贝尔群的类可以在无穷逻辑L\_{infty,omega\_1}和L\_{infty,omega}中公理化。Baer-Specker群Z^omega与纤细群不是L\_{infty,omega\_1}等价的。
作者：Oren Kolman and Saharon Shelah
论文ID：math/9910162
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中