Quantifier elimination on some pseudo-algebraically closed valued fields
Quantifier elimination on some pseudo-algebraically closed valued fields
复制标题
一些伪代数闭值域上的量词消除
DOI：
10.1016/j.apal.2022.103170
复制
发表时间：
2017-12
影响因子：
0.8
通讯作者：
Jizhan Hong
中科院分区：
文献类型：
--
作者：
Jizhan Hong
本文证明了伪代数闭非平凡值域的一些理论允许在环的语言中消除量词，这种语言是通过在环的语言中附加用于分解系数的函数符号、用于相对坐标函数的函数符号和用于赋值的除法谓词而得到的。
In this article, some theories of pseudo-algebraically closed non-trivially valued fields are shown to admit quantifier elimination in the language obtained by adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relativep-coordinate functions, and the division predicate for a valuation.
登录
查看更多内容
影响因子：
0.6
作者：
Z. Chatzidakis
通讯作者：
Z. Chatzidakis
影响因子：
3.1
作者：
M. Jarden;Ursel Kiehne
通讯作者：
M. Jarden;Ursel Kiehne
DOI：
10.4171/owr/2018/25
发表时间：
2019-04
期刊：
Oberwolfach Reports
影响因子：
--
作者：
L. Bary-Soroker;F. Pop;J. Stix
通讯作者：
L. Bary-Soroker;F. Pop;J. Stix
DOI：
10.1142/s0219061316500094
发表时间：
2015-05
期刊：
J. Math. Log.
影响因子：
--
作者：
A. Chernikov;N. Ramsey
通讯作者：
A. Chernikov;N. Ramsey
DOI：
10.1201/9780429506550-5
发表时间：
2020-05
期刊：
An Invitation to Algebraic Numbers and Algebraic Functions
影响因子：
--
作者：
F. Halter-Koch
通讯作者：
F. Halter-Koch