GTMT · Group Theory and Model Theory

The project is located between logic and mathematics, more precisely between model theory and group theory. There are extremely difficult questions arising about the model theory of groups, notably the question of the construction of new groups with prescribed algebraic properties and at the same time good model-theoretic properties. In particular, it is an important question, both in model theory and in group theory, to build new stable groups and eventually new nonalgebraic groups with a good dimension notion.The present project aims at filling these gaps. It is divided into three main directions. Firstly, it consists in the continuation of the classification of groups with a good dimension notion, notably groups of finite Morley rank or related notions. Secondly, it consists in a systematic inspection of the combinatorial and geometric group theory which can be applied to build new groups, keeping a control on their first order theory. Thirdly, and in connection to the previous difficult problem, it consists in a very systematic and general study of infinite permutation groups.