Description of the Trimester Program "Logic and Algorithms in Group Theory": Mathematical logic and algorithmic thinking have a strong impact on present-day group theory. Examples include the model theory of free groups, the algebraicity conjecture for groups of finite Morley rank, decidability questions, classification of p-groups, and Burnside type questions. The program aims at developing and connecting the two approaches.
Scientific Organizers:
- O'Brien Eamonn
- André Nies
- Katrin Tent