Logic Seminar - Antongiulio Fornasiero

Date: 
Tue, 03/12/201913:00-15:00
Location: 
Shprintsak building - Room 29
OAntongiulio Fornasiero will speak about definable and interpretable groups and fields in the p-adics.  


Abstract: 
A. Pillay showed that every definable group in the p-adics has a canonical topology and differential structure, and deduced that every definable field is either finite or a finite extension of Q_p.
In a joint work with J. de la Nuez Gonzalez we extend the analysis to interpretable fields, and show that they are either countable or finite extensions of Q_p.