不具有虚元消去的有序阿贝尔群
逻辑
2021-12-13 v2
摘要
我们研究有序阿贝尔群在某些特殊情况下的虚元消去性质。我们证明某些有序阿贝尔群的 Hahn 积在有序群的纯语言中不能消去虚元。此外，我们证明在有序阿贝尔群的语言中添加有限多个常数后，有限字典积 与 的理论具有可定义 Skolem 函数。
引用
@article{arxiv.2105.14646,
title = {Ordered abelian groups that do not have elimination of imaginaries},
author = {Martina Liccardo},
journal= {arXiv preprint arXiv:2105.14646},
year = {2021}
}
备注
Section 4 reworked