English

Some (non-)elimination results for curves in geometric structures

Logic 2011-09-20 v3

Abstract

We show that the first order structure whose underlying universe is C\mathbb C and whose basic relations are all algebraic subset of C2\mathbb C^2 does not have quantifier elimination. Since an algebraic subset of C2\mathbb C ^2 needs either to be of dimension 1\leq 1 or to have a complement of dimension 1\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\mathbb C and a predicate for each algebraic subset of Cn\mathbb C^n of dimension 1\leq 1 has quantifier elimination.

Keywords

Cite

@article{arxiv.1011.2432,
  title  = {Some (non-)elimination results for curves in geometric structures},
  author = {Serge Randriambololona and Sergei Starchenko},
  journal= {arXiv preprint arXiv:1011.2432},
  year   = {2011}
}

Comments

17 pages, accepted in Fundamenta Mathematicae

R2 v1 2026-06-21T16:41:54.968Z