The theory of Liouville functions [article]

Pascal Koiran
2002 arXiv   pre-print
A Liouville function is a complex analytic function H with a Taylor series ∑_n=1^∞ x^n/a_n such the a_n's form a "very fast growing" sequence of integers. In this paper we exhibit the complete first-order theory of the complex field expanded with H.
arXiv:math/0203108v1 fatcat:wilpp3zhbze6pmratjodh566ze