Week 12, Tuesday 1st April
Dugald Macpherson Dimension for families of finite first order structures
A notion of `quasidimension' for definable sets in families of finite first order structures was proposed by Hrushovski and Wagner, and developed further by Hrushovski in work on approximate subgroups. I will describe joint work with Garcia and Steinhorn developing this. We investigate how quasidimension relates to forking, and find conditions on a class of finite structures which guarantee that all ultraproducts have (super)simple theory.