Skip to main content

Mathematical Logic and Applications

Final Activity Report Summary - MATHLOGAPS (Mathematical logic and applications)

This project contributed to the training of 46 Early Stage Researchers in various interconnected branches of mathematical logic, in particular in: model theory and set theory, and also proof theory, computability theory, uncertain reasoning, complexity theory and various other topics of mathematical logic which have close interaction with theoretical computer science.

The project funded 16 researchers for the bulk of their PhD studies (4 in Leeds, 3 in Manchester, 2 in each of Lyon 1, Lyon ENS, and 5 in Munich). Four of these 16 have now obtained PhDs, with the others expected in the next year. In addition, it funded 30 researchers, mostly based outside the network, to pay visits of between 3 and 8 months to one of the five centres, to participate in the training activities there, participate where possible in the MATHLOGAPS training workshops and other conferences and workshops, and to hold research discussions with their supervisor at the centre visited, with other senior academics, and with fellows PhD students and postdocs. Four of these 30 have since obtained PhDs, and it is expected that all the others will complete doctorates. Some 50 papers have been submitted or published by the MATHLOGAPS researchers, again with many more in preparation.