5 found
Sort by:
  1. Pascal Koiran (2003). The Theory of Liouville Functions. Journal of Symbolic Logic 68 (2):353-365.
    A Liouville function is an analytic function $H : C \rightarrow C$ with a Taylor series $\Sigma_{n=1}^\infty x^n/a_n$ such the $a_n\prime 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.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Olivier Chapuis, Ehud Hrushovski, Pascal Koiran & Bruno Poizat (2002). La Limite Des Theories de Courbes Generiques. Journal of Symbolic Logic 67 (1):24-34.
    Ne estas prima orda formulo, kiu definas la Zariskijajn slositojn inter la konstruitoj, malpli ke la konektojn inter la slositoj.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Pascal Koiran & Natacha Portier (2001). Back-and-Forth Systems for Generic Curves and a Decision Algorithm for the Limit Theory. Annals of Pure and Applied Logic 111 (3):257-275.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Olivier Chapuis & Pascal Koiran (1999). Definability of Geometric Properties in Algebraically Closed Fields. Mathematical Logic Quarterly 45 (4):533-550.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Olivier Chapuis & Pascal Koiran (1999). Saturation and Stability in the Theory of Computation Over the Reals. Annals of Pure and Applied Logic 99 (1-3):1-49.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation