Abstract:
This is joint work with Angus Macintyre. Model theory studies definable subsets of a structure in a specific language. For many important structures, definable sets turn out to have a rich geometry in a natural language. Once the family of definable sets has a ‘a direct image theorem’, the structure of definable sets becomes transparent. This usually implies decidability, but there are also applications to geometry and arithmetic; and structures enjoying such properties can be thought of as ‘tame’ in some sense.
The seminar is preceded by the Study Groups on Darmon-Dasgupta-Pollack and p-adic Hodge theory, which will run 1200-1330 and 1400-1530 at the same room (658).
The talks will be preceded by tea/coffee in Imperial’s common room (room 549 Huxley) from around 3:30pm.