Objectif
The proposal is for a three year project focussing on a number of fundamental topics in the area of recursion theory and its applications to logic, mathematics and theoretical computer science.
In the area of recursive model theory, emphasis is on research involving a productive combination of techniques from computability theory and the theory of models. The main objective here will be to make significant progress with fundamental questions concerning the complexity of relations in recursive models for very basic classes of theories, to attempt solutions to some long-standing problems concerning minimal enumerations of classes of computably enumerable sets, and to investigate the relationship between naturally arising notions from recursive model theory and the Turing fine structure theory for the noncomputable universe.
Particular results sought here include:
To find the algebraic conditions for autostable models and models with finite and infinite algorithmic dimension in relative recursion representations; To prove differences between the classes of Rogers structures on computable enumerations of r.e. sets, recursive models and computable enumerations; The investigation of the relationship between the semi-lattices for reducibilities on different classes of subsets on N and the Rogers structures of computable enumerations; And the investigation of the lattice-theoretic properties of Rogers structures for different classes of constructive elements.
The second main area of research is concerned with the theory of Turing definability, and research objectives would involve work on three important groups of basic questions concerning definability, elementary equivalence and structure theory. Major research aims include:
To prove the definability of relations 'recursively enumerable" and 'recursively enumerable in" in degree structures of n- r.e. degrees for n>1; To prove the definability of omega-r.e. degrees in the upper semi-lattice of degrees of unsolvability (resulting in a definition of the d-r.e. degrees in the Turing degrees); And the study of interrelations between the hierarchies of REA- and n-r.e. degrees.
The final area of research is potentially a particularly fruitful one, concerning computability relative to partial information, using nondeterministic algorithms, formalised via the fundamental notion of enumeration reducibility (or e-reducibility). A basic objective of the research would be to improve understanding of the relationship between deterministic Turing reducibility and the structures deriving from enumeration reducibility. Anticipated results include:
Characterisation of the initial segments of the enumeration degrees;Relating rigidity of the e-degrees to that of the Turing degrees via automorphism bases; Proving the definability of the class of Turing degrees in the structure of the enumeration degrees; Characterisation of the local theory of the e-degrees; And characterising the automorphisms of the local structure of the e-degrees and proving the definability of this local structure in that of the Turing degrees.
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.
Ce projet n'a pas encore été classé par EuroSciVoc.
Proposez les domaines scientifiques qui vous semblent les plus pertinents et aidez-nous à améliorer notre service de classification.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
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.
Données non disponibles
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.
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.
Données non disponibles
Coordinateur
LS2 9JT Leeds
Royaume-Uni
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.