Obiettivo 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. Campo scientifico natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencesmathematicspure mathematicstopologynatural sciencesmathematicspure mathematicsalgebra Programma(i) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Argomento(i) MSCA-IF-2015-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Invito a presentare proposte H2020-MSCA-IF-2015 Vedi altri progetti per questo bando Meccanismo di finanziamento MSCA-IF-EF-ST - Standard EF Coordinatore UNIVERSITY OF LEEDS Contribution nette de l'UE € 183 454,80 Indirizzo WOODHOUSE LANE LS2 9JT Leeds Regno Unito Mostra sulla mappa Regione Yorkshire and the Humber West Yorkshire Leeds Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 183 454,80
