MODNET
Research Training Network in Model Theory
 Publications > Preprint server > Preprint Number 329 Preprint Number 329 329. Serge Randriambololona and Sergei Starchenko Some (non-)elimination results for curves in geometric structures E-mail: (email address protected by JavaScript. Please enable JavaScript to contact) Submission date: 17 May 2011. Abstract: We show that the first order structure whose underlying universe is C and whose basic relations are all algebraic subset of C^2 does not have quantifier elimination. Since an algebraic subset of C^2 needs either to be of dimension \leq 1 or to have a complement of dimension \leq 1, one can restate the former result as a failure of quantifier elimination for planar complex algebraic curves. We then prove that removing the planarity hypothesis suffices to recover quantifier elimination: the structure with the universe C and a predicate for each algebraic subset of C^n of dimension \leq 1 has quantifier elimination. Mathematics Subject Classification: 03C10, 03C60, 14H50 Keywords and phrases: Full text arXiv 1011.2432: pdf, ps.

 Last updated: May 22 2011 12:21 Please send your corrections to: The e-mail address is protected, enable Javascript to see it