On the decidability of the real field with a generic power function
On the decidability of the real field with a generic power function
复制标题
关于具有通用幂函数的实域的可判定性
DOI：
10.2178/jsl/1318338857
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Jones G
中科院分区：
文献类型：
--
作者：
Jones G
登录
查看更多内容
指数超越幂的 Schanuel 性质
影响因子：
0.9
作者：
Bays M
通讯作者：
Bays M
影响因子：
3.9
作者：
A. Wilkie
通讯作者：
A. Wilkie
局部多项式有界结构
影响因子：
0.9
作者：
G. Jones;A. Wilkie
通讯作者：
A. Wilkie
绝对完整的贝尔结构
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
A. Fornasiero;Tamara Servi
通讯作者：
Tamara Servi
Tarski-Seidenberg 定理的推广以及一些不可定义性结果
影响因子：
1.3
作者：
L. Dries
通讯作者：
L. Dries