Description du projet
Une étude sur le rapport entre la géométrie et la théorie des modèles
Combien de symétries la théorie des modèles est-elle en mesure de distinguer? Pour répondre à cette question, le projet Hilbert5th vs models, financé par l’UE, appliquera des techniques avancées de la théorie des modèles à la classe des groupes localement compacts découlant de la solution du cinquième problème de Hilbert. Après avoir fourni une description générale (du premier ordre) de la théorie des modèles des groupes localement compacts, les chercheurs étudieront la relation entre la théorie des modèles et les groupes localement compacts. Lors de l’étape suivante, ils déploieront des techniques de la théorie dite de la stabilité géométrique dans une classe de groupes localement compacts, par exemple dans les groupes localement compacts qui correspondent à des limites projectives des groupes de Lie et qui ne sont pas constitués de petits sous-groupes.
Objectif
The main goal of the project is to apply advanced techniques from the model theory (a branch of mathematical logic) to the class of locally compact groups arising from the solution of Hilbert's 5th problem (so at the end, to the class of Lie groups), to answer the following question: how much geometry can model theory recognize? There does not exist a general (first-order) model-theoretic description of the locally compact groups, thus our first goal will be to develop such a description. Then, we will study how notions from these two corners of mathematics, i.e. model theory and locally compact groups, correspond to each other. For example, we will try to enrich the classification of locally compact and Lie groups by translating the dividing lines from the model-theoretic stability hierarchy. In the next stage, machinery from the so called geometric (neo)stability theory will be deployed in a tame class of locally compact groups, for example in the class of locally compact groups being projective limits of Lie groups and not having small subgroups (so in the groups from the solution of Hilbert's 5th problem). In this spirit, one could consider the definable homogeneous space coming from the Group Configuration Theorem, which is a part of the aforementioned machinery, and try to relate it to the unsolved Hilbert-Smith conjecture - this will be one of our milestones.
In short, we aim to find connections between model-theoretic theorems of geometric nature and classical theorems on the Lie groups, so theorems which depend on the geometry of Lie groups. After understanding these connections, we want to transport techniques from the model theory into the locally compact and Lie groups and vice versa.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles mathématiques mathématiques pures mathématiques discrètes logique mathématique
- sciences naturelles mathématiques mathématiques pures géométrie
- sciences naturelles mathématiques mathématiques pures algèbre géométrie algébrique
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Mots‑clés
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
-
HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA)
PROGRAMME PRINCIPAL
Voir tous les projets financés dans le cadre de ce programme
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships
Voir tous les projets financés dans le cadre de ce programme de financement
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
(s’ouvre dans une nouvelle fenêtre) HORIZON-MSCA-2021-PF-01
Voir tous les projets financés au titre de cet appelCoordinateur
La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.
01069 DRESDEN
Allemagne
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.