论自由群的泛型类型
逻辑
2011-04-15 v1
摘要
我们回答了Pillay提出的一个问题，即自由群的泛型类型的无限权重是否在中得以体现。我们还证明了有限秩自由群中原始元素集不是一致可定义的。作为推论，我们观察到空集上的泛型类型不是孤立的。最后，我们证明了不可数自由群不是-齐次的。
引用
@article{arxiv.1011.3178,
title = {On the Generic Type of the Free Group},
author = {Rizos Sklinos},
journal= {arXiv preprint arXiv:1011.3178},
year = {2011}
}
备注
To appear in J. of Symbolic Logic