Scifaro

中文

Hensel 赋值环的存在性 0-可定义性

交换代数 2013-07-25 v2 逻辑

作者: Arno Fehm

在 arXiv 上查看 ↗ PDF ↗

摘要

最近，Anscombe 和 Koenigsmann 在 $F$ 为有限域的情况下，给出了形式幂级数环 $F[[t]]$ 在其分式域中的存在性 0-定义。我们将他们的方法扩展到多个方向，为具有有限或伪代数闭剩余域的 Hensel 赋值域提供一般的可定义性结果。

关键词

hensel 赋值环存在性可定义性 0-可定义性形式幂级数剩余域伪代数闭域模型论

引用

@article{arxiv.1307.1956,
  title  = {Existential 0-definability of henselian valuation rings},
  author = {Arno Fehm},
  journal= {arXiv preprint arXiv:1307.1956},
  year   = {2013}
}

备注

minor corrections, Theorem 4.1 strengthened, Remark 4.2 added