Seminar series
Date
Thu, 22 Oct 2015
17:30
17:30
Location
L6
Speaker
Angus Macintyre
Organisation
Queen Mary University London
In the course of work with Jamshid Derakhshan on definability in adele rings, we came upon various problems about definability and model completeness for possibly infinite dimensional algebraic extensions of p-adic fields (sometimes involving uniformity across p). In some cases these problems had been closely approached in the literature but never explicitly considered.I will explain what we have proved, and try to bring out many big gaps in our understanding of these matters. This seems appropriate just over 50 years after the breakthroughs of Ax-Kochen and Ershov.