EU project 705410 - GROUPNIP

Workshop on NIP and groups

Basic information

Hosting institution: University of Leeds

Project supervisor: Dugald MacPherson, H.D.MacPherson @

Researcher: Jan Dobrowolski, J.Dobrowolski @

Project period: 01.03.2017-28.02.2019

Summary of the project

The project focusses on an interplay between the model theory of NIP theories, group theory, and topology. Groups arise both as definable objects in first order structures and as invariants of first order theories (for example, as model-theoretic homology groups, Ellis groups of certain flows arising naturally in model theory, and as Lascar-Galois groups).

Papers supported by the project

In progress:
  • J. Dobrowolski, F. Wagner Omega-categorical inp-minimal groups, rings, and bilinear forms.

Conference talks supported by the project:

  • A characterization of NTP1, Shanghai Model Theory Workshop 2017, Shanghai, 27.05.2017

  • Dp-minimality, Model Theory in Wrocław 2017, Wrocław, 01.07.2017

  • Dp-minimal theories, The 15th Asian Logic Conference, Daejeon, 12.07.2017


A workshop related to the subject of the project will be held at the University of Leeds in January 2019 (see the link above).