细群与无余扭自由群的无穷逻辑可公理化性
逻辑
2007-05-23 v1
摘要
细阿贝尔群类与无余扭自由阿贝尔群类分别在无穷逻辑 L_{infty,omega_1} 与 L_{infty,omega} 中可公理化。Baer-Specker 群 Z^omega 不与某个细群 L_{infty,omega_1}-等价。
关键词
引用
@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}
}