Ziel
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.
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.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
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.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
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.
Daten nicht verfügbar
Koordinator
LS2 9JT Leeds
Vereinigtes Königreich
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.