Switch to: Citations

Add references

You must login to add references.
  1. Back-and-forth systems for generic curves and a decision algorithm for the limit theory.Pascal Koiran & Natacha Portier - 2001 - Annals of Pure and Applied Logic 111 (3):257-275.
    It was recently shown that the theories of generic algebraic curves converge to a limit theory as their degrees go to infinity. In this paper we give quantitative versions of this result and other similar results. In particular, we show that generic curves of degree higher than 22r cannot be distinguished by a first-order formula of quantifier rank r. A decision algorithm for the limit theory then follows easily. We also show that in this theory all formulas are equivalent to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • La limite des théories de courbes génériques.Olivier Chapuis, Ehud Hrushovski, Pascal Koiran & Bruno Poizat - 2002 - Journal of Symbolic Logic 67 (1):24-34.
    Download  
     
    Export citation  
     
    Bookmark   1 citation