Scifaro

中文

自由群理论中的双曲塔与独立泛型集

逻辑 2016-02-10 v1 群论

作者: Larsen Louder , Chloé Perin , Rizos Sklinos

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们利用双曲塔回答自由群理论中关于泛型型的一些模型论问题。我们证明了该理论的所有有限生成模型都实现了泛型型 $p_0$ ，但存在一个有限生成模型省略了 $p_0^{(2)}$ 。我们展示了一个有限生成模型，其中存在两个基数不同的泛型型实现的最大独立集。我们还证明了齐次群的自由积不一定是齐次的。

关键词

双曲塔自由群模型论泛型型有限生成模型独立集齐次群

引用

@article{arxiv.1208.2858,
  title  = {Hyperbolic towers and independent generic sets in the theory of free groups},
  author = {Larsen Louder and Chloé Perin and Rizos Sklinos},
  journal= {arXiv preprint arXiv:1208.2858},
  year   = {2016}
}

备注

to appear in Proceedings of the conference "Recent developments in Model Theory", Notre Dame Journal of Formal Logic