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 and whose basic relations are all algebraic subset of does not have quantifier elimination. Since an algebraic subset of needs either to be of dimension or to have a complement of dimension , 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 and a predicate for each algebraic subset of of dimension 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