EU project 705410 - GROUPNIP

Basic information

Hosting institution: University of Leeds

Project supervisor: Dugald MacPherson

Researcher: Jan Dobrowolski

Project period: 01.03.2017-28.02.2019

The project was financed by the European Union's Horizon 2020 research and innovation programme under the grant agreement No 705410

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

  1. J. Dobrowolski, B. Kim, N. Ramsey, Independence over arbitrary sets in NSOP1 theories, Annals of Pure and Applied Logic (173), 2022.

  2. J. Dobrowolski, B. Kim, A. Kolesnikov, J. Lee The relativized Lascar groups, type-amalgamation, and algebraicity,

    Journal of Symbolic Logic (86), 531-557, 2021.

  3. J.Dobrowolski, F. Wagner, On omega-categorical groups and rings of finite burden, Israel Journal of Mathematics (236), 801–839, 2020.

  4. J.Dobrowolski, D. Hoffmann, J. Lee, Elementarily Equivalence Theorem for PAC structures, Journal of Symbolic Logic (85), 1467 - 1498, 2020.

  5. J. Dobrowolski, J. Goodrick, Some remarks on inp-minimal and finite burden groups, Archive for Mathematical Logic (58), 267–274, 2019.

  6. J. Dobrowolski, F-V. Kuhlmann, Valuation theory, generalized IFS attractors and fractals, Archiv der Mathematik (111), 287-297, 2018.

Conference talks supported by the project:

  1. Polish structures, LYMOTS, Leeds, 11.03.2017.

  2. A characterization of NTP1, Shanghai Model Theory Workshop 2017, Shanghai, 27.05.2017

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

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

  5. Omega-categorical inp minimal groups, rings, and bilinear forms Korean Association for Mathematical Logic Meeting, 25.05.2018.

  6. Inp-minimal groups, rings, and bilinear forms, Joint meeting of the Italian Mathematical Union, the Italian Society of Industrial and Applied Mathematics and the Polish Mathematical Society, Wroclaw, 17.09.2018.

  7. Localized Lascar group, Neostability Theory, Oaxaca, 16.10.2018.

Workshop

A workshop related to the subject of the project was held at the University of Leeds in January 2019:

Workshop on NIP and groups