Location of Repository

Back-and-Forth Systems for Generic Curves and a Decision Algorithm for the Limit Theory

By Pascal Koiran and Natacha Portier

Abstract

It was recently shown that the theories of generic algebraic curves converge to a limit theory as their degrees go to innity. 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 2 2r cannot be distinguished by a rst-order formula of quantier rank r. A decision algorithm for the limit theory then follows easily. We also show that in this theory all formulas are equivalent to boolean combinations of existential formulas, and give a quantitative version of this result

Topics: Resume
Year: 2000
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.7054
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.ens-lyon.fr/~koiran... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.