Project description
Research could reshape understanding of first-order mathematical structures
Model theory aims to study and classify mathematical structures according to their theories, that is, the class of all first-order logic sentences that are true within them. Zilber's trichotomy conjecture is one of the most important conjectures that have shaped model theory. It suggests a classification of so-called strongly minimal structures – the building bricks of large classes of first-order structures. The notion of ampleness was developed to classify the geometries not addressed in the trichotomy conjecture. Funded under the Marie Skłodowska-Curie programme, the AMPLE project aims to increase understanding of ampleness and establish new connections between model theory and core mathematics. Project results have the potential to reshape understanding of first-order structure classification.
Objective
The proposed project AMPLE allocates in the area of mathematical Logic, Model Theory. It aims to develop a full understanding of the notion of ampleness and establish new connections between Model Theory and core mathematics.
Model Theory aims to study and classify mathematical structures according to their THEORIES, that is, the class of all first order logic sentences that are true within them. One of the most important conjectures within Model Theory is Zilber's Trichotomy Conjecture, which suggested a classification of so-called strongly minimal structures - the building bricks of large classes of first order structures. Even though having been refuted quickly after its formulation, this conjecture and its counter example by Hrushovski have shaped the research in model theory and ultimately led Hrushovski to his outstanding proofs of the Mordell-Lang Conjecture, originating in the area of Number Theory.
The notion of AMPLENESS was developed in order to classify the geometries left out in the Trichotomy Conjecture. Even though studied by many after its introduction, there is a plethora of open questions around this notion, witnessing that a thorough understanding is still missing. Answers to these questions have the potential to reshape the view on the classification of first order structures. The ER managed in her PhD thesis to solve one of the main open problems in this area, by combining tools from the field of TITS BUILDINGS, which was developed to classify simple algebraic groups and groups of Lie type.
Together with the project Supervisor, who is a leading expert in the area of ampleness, the ER will establish a full understanding of the notion of ampleness, using its close connections to the theory of Tits Buildings. This project promises new bonds between Model Theory and core mathematics as well as a high applicability to longstanding questions within Model Theory itself. It is thus of high visibility and importance to the community.
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 arithmetics
- natural sciences mathematics pure mathematics geometry
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-2018
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.
SW7 2AZ London
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.