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

Serge Randriambololona, Sergei Starchenko

We show that the first order structure whose underlying universe is $\mathbb{C}$ and whose basic relations are all algebraic subset of ${\mathbb{C}}^2$ does not have quantifier elimina…