Scifaro

中文

Presburger 群中模可定义双射的可定义集

逻辑 2018-01-17 v1

作者: Raf Cluckers , Immanuel Halupczok

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们在语言为有序阿贝尔群语言的 $\mathbb{Z}$ -群中，对模可定义双射的可定义集进行了完整分类。由此，我们推导出了有界可定义集的可定义族的分类等结果。

关键词

可定义集可定义双射 Presburger 群有序阿贝尔群数理逻辑

引用

@article{arxiv.1706.02997,
  title  = {Definable sets up to definable bijections in Presburger groups},
  author = {Raf Cluckers and Immanuel Halupczok},
  journal= {arXiv preprint arXiv:1706.02997},
  year   = {2018}
}