Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Este proyecto aún no se ha clasificado con EuroSciVoc.
Sugiera los ámbitos científicos que considere más relevantes y ayúdenos a mejorar nuestro servicio de clasificación.
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
LS2 9JT Leeds
Reino Unido
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.