Switch to: Citations

Add references

You must login to add references.
  1. Definability of Geometric Properties in Algebraically Closed Fields.Olivier Chapuis & Pascal Koiran - 1999 - 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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations