Periodic Reporting for period 1 - GROUPNIP (Model theory of groups in NIP theories)

The project was in model theory (mathematical logic), with close connections to algebra, especially group theory. Model theory concerns expressibility in logical languages of properties of mathematical structures (e.g. graphs or groups). A key notion is that of a `definable...