5 citations · 7 across the 5 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014
p-adic exponential ring, p-adic Schanuel's conjecture and decidability
Nathanaël Mariaule
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 t…
math.LO2014★ 2 cited
Effective model-completeness for p-adic analytic structures
Nathanaël Mariaule
In their paper 'p-adic and real subanalytic sets, J. Denef and L. van den Dries prove that the theory of the ring of p-adic integers admits the elimination of quantifiers in the la…