7 found
Sort by:
  1. 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  
  2. Olivier Chapuis & Pascal Koiran (1999). Definability of Geometric Properties in Algebraically Closed Fields. Mathematical Logic Quarterly 45 (4):533-550.
    We prove that there exists no sentence F of the language of rings with an extra binary predicat I2 satisfying the following property: for every definable set X ⊆ ℂ2, X is connected if and only if ⊧ F, where I2 is interpreted by X. We conjecture that the same result holds for closed subset of ℂ2. We prove some results motivated by this conjecture.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. 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.
    This paper was motivated by the following two questions which arise in the theory of complexity for computation over ordered rings in the now famous computational model introduced by Blum, Shub and Smale: 1. is the answer to the question P = ?NP the same in every real-closed field?2. if P ≠ NP for , does there exist a problem of which is NP but neither P nor NP-complete ?Some unclassical complexity classes arise naturally in the study of these questions. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Olivier Chapuis (1997). ∀-Free Metabelian Groups. Journal of Symbolic Logic 62 (1):159-174.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Olivier Chapuis (1997). $Forall$-Free Metabelian Groups. Journal of Symbolic Logic 62 (1):159-174.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Olivier Chapuis (1996). From "Metabelian Q-Vector Spaces" to New Ω-Stable Groups. Bulletin of Symbolic Logic 2 (1):84-93.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Olivier Chapuis (1996). From "Metabelian $Text{Q}$-Vector Spaces" to New $Omega $-Stable Groups. Bulletin of Symbolic Logic 2 (1):84-93.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation