17 citations · 133 across the 31 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2002
The theory of Liouville functions
Pascal Koiran
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 pap…
math.LO1999★ 1 cited
On defining irreducibility
Pascal Koiran
We show that irreducibility is not a first-order definable property of real algebraic varieties. The proof is based on the recent o-minimality result for the exponential function.…