Logic Seminar
Kathryn Vozoris
UIC
The complex field with a predicate for the integers
Abstract: We will discuss model theoretic properties of the complex field with a predicate for the integers. In
particular that the theory is quasiminimal, has quantifier elimination up to quantification over the integers
and is model complete. We will also consider some definability results.
Tuesday October 3, 2006 at 4:00 PM in SEO 427