Objectif
The proposed project is devoted to inner model theory, an area of set theory, and its applications in infinitary combinatorics and descriptive set theory. The main goal of inner model theory is constructing canonical models, or extender models, for axioms postulating the existence of 'higher level infinity', the so-called large cardinal axioms.
Extender models are used (a) to establish consistency strengths for mathematical statements that cannot be decided by means of the standard axioms of set theory, the Zermelo-Fraenkel axioms, and (b) to extract information about sets that depends on large cardinals alone.
The project is divided into 4 parts:
The 1. part focuses on the analysis of the internal structure of extender models and studying combinatorial principles in these models using purely fine structural methods. The goal here is to generalize Jensen and analysis of Goedel's constructible universe to the broader context of extender models.
The 2. part is devoted to applications of the existing inner model theory in improving the known lower bounds for consistency strengths of various set-theoretic statements, such as the failure of Jensen and principle Diamond at Mahlo cardinals under GCH, failure of Jensen and principle square at singular cardinals, or bounded Martin Maximum.
The 3. part concentrates on connections between inner model theory and descriptive set theory; the objectives here include
- establishing optimal hypotheses for correctness results at higher level of projective hierarchy and
- finding inner model characterizations of objects known from classical descriptive set theory.
The 4. part is devoted to constructions of inner models, and the emphasis is on studying the complexities of iteration strategies for countable extender models and determining limitations of currently known methods for obtaining iterability.
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 mathématiques discrètes combinatoire
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
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.
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é.
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.
FP6-2004-MOBILITY-5
Voir d’autres projets de cet appel
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.
Coordinateur
BERLIN
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.