关于p-进闭域的非标准模型上的维数和标准映射（英文）

发布时间：2022-01-17 10:22

　　我们研究了p-进数域Q_p的初等扩张K上的可定义函数及其相关的维数理论。证明了K^m的可定义子集X在标准模型Q_p中的维数dim_Qp（X∩Q_p^m）不超过X在K中的维数。我们还证明了:对K中的可定义函数f:K^m→K,存在一个可定义集合D?Q_p^m以及Q_p上的可定义函数g:D→Q_p∪{∞}使得Q_p^m \D无内点,且对每个x∈D有g（x）=st(f(st^-1（x）))。进一步,我们证明了对K^m的可定义子集X,有dim_Qp（st（X））也不超过X在K中的维数。 

【文章来源】：逻辑学研究. 2020,13(06)CSSCI

【文章页数】：22 页


本文编号：3594556