定义数域中整数环的万有一阶公式
数论
2012-03-01 v1
摘要
我们证明数域K中整数环的补集是丢番图的。这意味着K中的整数环集合可以写为{t in K | 对于所有x_1, ..., x_N in K, f(t,x_1, ..., x_N) ≠ 0}。我们将使用全局类域论，并推广源自Koenigsmann最近结果的思想，该结果给出了Q中Z的万有一阶公式。
引用
@article{arxiv.1202.6371,
title = {A universal first order formula defining the ring of integers in a number field},
author = {Jennifer Park},
journal= {arXiv preprint arXiv:1202.6371},
year = {2012}
}
备注
19 pages