Kathryn Vozoris : The complex field with a predicate for the integers

Posted by Matthias Aschenbrenner , part of the Logic Seminar.

At

Oct. 3, 2006, 4 p.m.

In

SEO 427

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.