搜索结果: 1-1 共查到“理学 first-order formula”相关记录1条 . 查询时间(0.07 秒)
A universal first order formula defining the ring of integers in a number field
universal first order formula defining ring integers number field
2012/3/1
We show that the complement of the ring of integers in a number field K is Diophantine. This means the set of ring of integers in K can be written as {t in K | for all x_1, ..., x_N in K, f(t,x_1, ......