关于亨泽尔性的逻辑刻画

Yimu Yin

关于亨泽尔性的逻辑刻画

逻辑 2007-05-23 v2

作者: Yimu Yin

摘要

我们给出了一些充分条件，在这些条件下，任何在 Macintyre 语言中允许量词消去的赋值域都是亨泽尔域。随后，在没有额外假设的情况下，我们证明了如果一个特征为 $(0,0)$ 的赋值域其值群为 $\Z$ -群，并且在 Denef-Pas 风格语言 $\mathcal{L}_{RRP}$ 的主排序中允许量词消去，那么它是亨泽尔域。事实上，这一证明表明相当大一类 Denef-Pas 风格语言相对于亨泽尔性是自然的。

关键词

亨泽尔性赋值域量词消去 Macintyre 语言 Denef-Pas 语言值群逻辑刻画

引用

@article{arxiv.0705.0395,
  title  = {On logical characterization of henselianity},
  author = {Yimu Yin},
  journal= {arXiv preprint arXiv:0705.0395},
  year   = {2007}
}

备注

Minor corrections

关于亨泽尔性的逻辑刻画

摘要

关键词

引用

备注

相关论文