Elimination of imaginaries for differentially closed fields of finite characteristic
Sophie Germain salle 1016All fields under discussion here are assumed to have finite characteristic p. This talk might be seen as a sequel to my survey talk at Françoise Delon's conference in June 2016, although it will not assume familiarity with this talk.Of interest here are two complete theories, namely differentially closed fields (DCF) and separably closed fields (inf-SCF) with infinite degree of imperfection. These theories are related. For example, the underlying field of a model of DCF is a model of inf-SCF, and the constant field is also a model of inf-SCF. […]