The theory of Liouville functions
Logic
2007-05-23 v1 Complex Variables
Abstract
A Liouville function is a complex analytic function H with a Taylor series \sum_{n=1}^{\infty} 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.
Cite
@article{arxiv.math/0203108,
title = {The theory of Liouville functions},
author = {Pascal Koiran},
journal= {arXiv preprint arXiv:math/0203108},
year = {2007}
}
Comments
14 pages