摘要：一个对Spivakovsky的猜想给出了一个反例。M. Spivakovsky猜想出现在强Artin逼近定理中的函数是有一个线性函数界限的。首先，我们证明了在多个变量的幂级数环的分式域中没有Liouville定理。我们由这个例子推断出在多个变量的幂级数环的分式域中没有量化消除理论。
作者：Guillaume Rond
论文ID：math/0412284
分类：Commutative Algebra
分类简称：math.AC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中