p-adic指数环，p-adic Schanuel猜想与可判定性
p-adic exponential ring, p-adic Schanuel's conjecture and decidability
摘要：
设exp（x）是由幂的经典幂级数确定的函数。则E_p（x）：=exp（px）是定义在p进整数环Zp上的（当p不等于2时，设E_2（x）=exp（4x））。此外，E_p决定了Zp上指数环的一个结构.本文证明了如果Schanuel猜想的p-adic版本成立，则（Zp，+，.，0，1，E_p）是可判定的。
英文摘要：
Let exp(x) be the function determined by the classical power series of the exponentiation. Then E_p(x):=exp(px) is well-defined on Zp, the ring of p-adic integer (for p not equal to 2, we set E_2(x)=exp(4x)). Furthermore, E_p determines a structure of exponential ring on Zp. In this paper, we prove that if a p-adic version of Schanuel's conjecture is true then the theory of (Zp, +, ., 0, 1, E_p) is decidable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
