Opendata, web and dolomites


Model theory of groups in NIP theories

Total Cost €


EC-Contrib. €






Project "GROUPNIP" data sheet

The following table provides information about the project.


Organization address
city: LEEDS
postcode: LS2 9JT

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Project website
 Total cost 183˙454 €
 EC max contribution 183˙454 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2015
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2017
 Duration (year-month-day) from 2017-03-01   to  2019-02-28


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITY OF LEEDS UK (LEEDS) coordinator 183˙454.00


 Project objective

The project is 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 set' (generalising algebraic varieties). Model theory identifies `tame' classes of structures/theories such as stable theories, or the much richer class of NIP theories in which definable sets are well-understood, and finds/applies generalisations of geometric notions such as algebraic independence. This project focusses on groups in NIP theories, both as invariants and as definable objects. The three research Workpackages (with specific objectives) concern (1) Applying methods from the recently-developed `Polish structures' to problems of topological dynamics of type spaces in NIP theories, (2) finding methods to compute homology groups (which measure `n-amalgamation') of generically stable types in NIP theories, and characterising the homology groups for algebraically closed valued fields, (3) examining the fine structure of NIP profinite groups, viewed in a 2-sorted language with open subgroups uniformly definable.

The Fellow, Dobrowolski, will receive training through research in the model theory groups in Leeds and (on a 3-month secondment) in Lyon. There will be knowledge transfer to Dobrowolski of expertise in model theory, group theory, and topological dynamics in Leeds and Lyon, and Dobrowolski will transfer to Leeds and Lyon the understanding he has built up in Wroclaw and Seoul, on Polish structures and homology groups of first order theories. He will be supervised by Macpherson in Leeds and Wagner in Lyon, but also interact with the large model theory groups in both centres. He will receive complementary training in Leeds on a range of professional academic skills, including outreach, and will take advantage of opportunities for outreach activities in Leeds related to his research.


year authors and title journal last update
List of publications.
2018 Jan Dobrowolski, John Goodrick
Some remarks on inp-minimal and finite burden groups
published pages: , ISSN: 0933-5846, DOI: 10.1007/s00153-018-0634-3
Archive for Mathematical Logic 2019-05-23
2018 Jan Dobrowolski, Franz-Viktor Kuhlmann
Valuation theory, generalized IFS attractors and fractals
published pages: 287-297, ISSN: 0003-889X, DOI: 10.1007/s00013-018-1202-0
Archiv der Mathematik 111/3 2019-05-23

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "GROUPNIP" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "GROUPNIP" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

IPG_CORE (2019)

Looking for the Impersonal Core -- Impersonal Pronouns across Germanic languages

Read More  

GenEl (2020)

General readout electronics for cross-sectoral application in European research infrastructure

Read More  

iRhomADAM (2020)

Uncovering the role of the iRhom2-ADAM17 interaction in inflammatory signalling

Read More