Skip to main content Accessibility help

The theory of Liouville functions

  • Pascal Koiran (a1)


A Liouville function is an analytic function H: ℂ → ℂ with a Taylor series such the an'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.



Hide All
[1]Basu, S., Pollack, R., and Roy, M.-F., On the combinatorial and algebraic complexity of quantifier elimination. Journal of the Association for Computing Machinery, vol. 43 (1996), no. 6, pp. 10021045.
[2]Blum, L., Cucker, F., Shub, M., and Smale, S., Complexity and real computation, Springer-Verlag, 1998.
[3]Chapuis, O., Hrushovski, E., Koiran, P., and Poizat, B., La limite des thÉories de courbes génériques, this Journal, vol. 67 (2002), no. 1, pp. 2434.
[4]Koiran, P., The limit theory of generic polynomials, Technical Report 01-35, LIP-Ecole Normale Supérieure Lyon, 2001, To appear in Proceedings of Logic Colloquium 2001.
[5]Koiran, P. and Portier, N., Back-and-forth systems for generic curves and a decision algorithm for the limit theory, Annals of Pure and Applied Logic, vol. 111 (2001), pp. 257275.
[6]Poizat, B., Le carré de l'égalité, this Journal, vol. 64 (1999), pp. 13391355.
[7]Poizat, B., Amalgames de Hrushovski: une tentative de classification, preprint, 2000.
[8]Renegar, J., On the computational complexity and geometry of the first-order theory of the reals, parts I, II, III, Journal of Symbolic Computation, vol. 13 (1992), no. 3, pp. 255352.
[9]Wilkie, A. J., Liouville functions, To appear in Proceedings of Logic Colloquium 2000.
[10]Zilber, B., Analytic and pseudo-analytic structures, To appear in Proceedings of Logic Colloquium 2000.
[11]Zilber, B., A theory of generic functions with derivatives, preprint.


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed