摘要：证明整数值域K的Grothendieck环在逻辑语言和K的轻微条件下是平凡的。我们构造了一个可定义的双射，将平面K^2映射到自身减去一个点的集合。当我们专门研究具有有限剩余域的局部域时，我们构造了一个可定义的双射，将赋值环映射到自身减去一个点的集合。
作者：Raf Cluckers, Deirdre Haskell
论文ID：math/0311435
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中