Pairs of algebraically closed fields

Speaker:

Françoise Delon

Date:

Mon, 11/06/2012 - 11:10 - 12:10

Location:

MPIM Lecture Hall [2]

Parent event:

Conference on Interactions of model theory with number theory and algebraic geometry [3]

A pair of algebraically closed fields consists of an algebraically closed field enriched with an additional unary predicate interpreted as an algebraically closed subfield. Proper pairs of algebraically closed fields are known to be omega-stable of Morley Rank omega. We propose a language in which they eliminate quantifiers, and which has the advantage of adapting to some expansions such as pairs of algebraically closed valued fields.