Ziel
Weak arithmetic is the study of problems of Number theory and Computer Science using methods of mathematical logic; just as Algebraic Number Theory or Analytic Number Theory use Algebra and Analysis. Five of the main sources of results in wreaks arithmetic's are undecidability of the field of rational numbers, Matiyasevich-Davis-Robinson-Putnam theorem, solving Hilbert's tenth problem, Erdös-Woods conjecture, Buss arithmetic and study of the real exponential field.
The proposed project is constituted of nine teams from university of Paris, Steklov Institute of Mathematics at Saint-Petersburg (Russia), Udmurt University (Russia), Institute for Informatics and Automaton Problems at Yerevan (Armenia), Kiev University (Ukraine), University of Naples (Italy), university of Mons-Hainaut (Belgium), university of Clermont-Ferrand (France), and University of Athens (Greece).
Objectives for the three years were :
to construct Nonstandard Models of Buss Arithmetic to establish some bounds on the class NP inter co-NP ;
to solve the problem of existence of end extensions of countable models of bounded collection ;
to explore further the additive theory of infinite sets of prime numbers, both with absolute results and its links with number theory via the Schinzel's hypothesis ;
to code natural numbers, complex numbers, and quadratic integers by automata accepting numbers (written in non-classical systems) ;
to prove results for ultra-linear unary recursive schemata (with individual constants);
to obtain decidability results for S2S[P] theories ;
to build formal constructive theories with (from Grzegorczyk hierarchy) with applications to databases ;
to investigate the power of counting in very small complexity classes and in the corresponding logical or arithmetical settings ;
to explore the relation between Infinite games, automata, and arithmetic ;
to study the fine structure of the BSS recursive enumerable sets ;
to investigate concurrent processes in distributed conveyer systems and their relation with corresponding weak arithmetics;
to construct Diophantine representations of recursively enumerable sets of particular interest ;
to show the cofinality of primes in D0 (P), where P is the function which counts the primes below x ;
to study subsystems of Goodstein's Arithmetic (without quantifiers) ;
to develop families of formalized languages for presenting arithmetical texts.
Main exchanges are by e-mail but it is planning two workshops (a local one and a general) by year, two co-ordination meeting and exchanges of scientists.
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
77300 Fontainebleau
Frankreich
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.