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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations