Ziel
The principal methods of model theory, in its connections to algebraic geometry, have been quantifier elimination (e.g. Tarski's theorem)
and structural stability (used here in a wide sense, including simplicity, NIP and structural o-minimality.)
We propose to move beyond current limitations on both fronts, by means of three interrelated projects. (1) A study of definable sets in global fields. A successful quantifier elimination result in this setting would extend the reach of model theory to wide areas of number theory and geometry that have not been accessible before, including points of small height in number theory, and the Gromov-Witten invariants of a variety in geometry. (2) A study of limits of o-minimal metric structures as quotients of non-archimedean structures, extending similar measure and group-theoretic work that has led to a resolution of Pillay's conjectures in the o-minimal setting, and leading towards a model theory of Calabi-Yau degenerations. (3) Model theoretic asymptotic limits lead to measure and dimension theories, with associated dependence theories, that resemble known structures from stability theory but do not lie within the stable realm or its current extensions. Preliminary stability-theoretic considerations have already led to significant applications in combinatorics. We propose creating a structural stability theory based on pseudo-finite dimension, expected to create a long-term bridge between model theory and
additive combinatorics.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Mathematik reine Mathematik diskrete Mathematik mathematische Logik
- Naturwissenschaften Mathematik reine Mathematik Arithmetik
- Naturwissenschaften Mathematik reine Mathematik Geometrie
- Naturwissenschaften Mathematik reine Mathematik diskrete Mathematik Kombinatorik
- Naturwissenschaften Mathematik reine Mathematik Algebra algebraische Geometrie
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
ERC-2011-ADG_20110209
Andere Projekte für diesen Aufruf anzeigen
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Gastgebende Einrichtung
91904 JERUSALEM
Israel
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.