Some (non-)elimination results for curves
Speaker:
Serge Randriambololona, Bilkent University
Date and Time:
Tuesday, June 2, 2009 - 2:00pm to 3:00pm
Location:
Fields Institute, Stewart Library
Abstract:
Geometric structures generalise o-minimal structures, strongly minimal structures (such as the field of complex numbers) or even the field of p-adic numbers. I will present some positive and negative results concerning quantifier-elimination for definable curves in this setting. (Joint work with S. Starchenko)