Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences mathematics pure mathematics discrete mathematics mathematical logic
- natural sciences mathematics pure mathematics topology
- natural sciences mathematics pure mathematics algebra
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
MAIN PROGRAMME
See all projects funded under this programme -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
MSCA-IF-EF-ST - Standard EF
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) H2020-MSCA-IF-2015
See all projects funded under this callCoordinator
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
LS2 9JT Leeds
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.