EU project 705410 - GROUPNIP
Hosting institution: University of Leeds
Project supervisor: Dugald MacPherson, H.D.MacPherson @ leeds.ac.uk
Researcher: Jan Dobrowolski, J.Dobrowolski @ leeds.ac.uk
Project period: 01.03.2017-28.02.2019
Summary of the project
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
J. Dobrowolski, J. Lee, B. Kim, A. Kolesnikov, The relativised
Lascar groups and type-amalgamations
Conference talks supported by the project:
A characterization of NTP1, Shanghai Model Theory Workshop 2017,
Model Theory in Wrocław 2017, Wrocław, 01.07.2017
Dp-minimal theories, The 15th Asian Logic Conference, Daejeon,
A workshop related to the subject of the project will be held
at the University of Leeds near the end of the project.