Some (non-)elimination results for curves in geometric structures
From MaRDI portal
Publication:3093534
DOI10.4064/fm214-2-5zbMath1252.03081arXiv1011.2432OpenAlexW1988793564MaRDI QIDQ3093534
Serge Randriambololona, Sergei Starchenko
Publication date: 17 October 2011
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.2432
quantifier eliminationgeometric structuredefinable setdefinable closureconstructible curveplanar complex algebraic curves
Model-theoretic algebra (03C60) Plane and space curves (14H50) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: Some (non-)elimination results for curves in geometric structures