The results of the project, and the broader area of research, were disseminated widely. García gave lecture courses on pseudofinite structures at the IPM in Tehran and at the Institut Henri Poincaré in Paris, the latter course leading to a very active informal study group by researchers in the programme on pseudofinite groups. He gave many seminar talks on his research, in Leeds, Manchester, Preston, London, Oxford, Lyon, Paris, Freiburg, and Isfahan. He also, as planned in the proposal, organised a workshop ‘Model theory of finite and pseudofinite groups’ in Leeds April 9-11 2018. This had 28 participants including 15 speakers (5 female), and, in addition to funding from the project, received support from the University of Leeds and from the British Logic Colloquium, to ensure wider participation. In total, during the fellowship he participated in 14 conferences or workshops, giving talks in three.
Leeds was an ideal host for the project, since it has one of the leading logic groups in Europe, with breadth across logic (model theory set theory, proof theory and constructivism, computability theory, logic in computer science, philosophical logic), with close connections between these subgroups, joint seminars, other postdoctoral fellows, and a large group of over 20 PhD students who interact closely in joint seminars. Thus, García was able to interact with a large collection of PhD students, and see model theory within a wider context of logic and its connections to computer science.
The project led to a two-way transfer of knowledge between García and between the host institution in Leeds (and the wider model theory community). García’s deep understanding of pseudofinite structures was conveyed in the above seminars and courses, and also in his contributions to study groups, such as one on the ultraproduct approach by Elek and Szegedy to the hypergraph Szemerédi Regularity Lemma. His understanding of pure model theory (in particular, of generalisations of stability theory) was conveyed to PhD students in Leeds in a lecture course, and he gave extensive other support to Leeds PhD students. In the other direction, his understanding of group theory grew through discussions with Macpherson, and of general model theory through other seminar activities in Leeds.
García also gained wider experience relevant to his academic career. He played the leading role in managing his fellowship and gained experience organising conferences. His interactions and support for PhD students in Leeds and the two workshops he ran for school students in Leeds equip him for future PhD supervision and experience in outreach activities. García has now begun a postdoctoral fellowship in the very strong model theory group in Bogotá. He aims for a permanent academic career in Colombia, and to build on the collaborations with European researchers developed during the Fellowship. In particular, one goal is to set up future networks and links between Colombian and European model theorists.
