FP5Индивидуална стипендия2002–2004
MATTHEW GIORGI · Continuity properties in the structure of the enumeration degrees.
5РП — Човешки потенциал в науката
- Период
- 2002-09-01 → 2004-08-31
- Финансиране от ЕС
- 123 512 €
- Участници
- 1
- Схема
- RGI
Линиите свързват координатора с партньорите.
Накратко на български
Свойствата на непрекъснатост в структурите на изброяването на степени изследват логическите връзки между различни видове изчислимост. Това помага да се определи кога теорията за локалната структура на тези степени става нерешима.
Този кратък обзор е генериран от изкуствен интелект
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
To prove continuity results in the enumeration degrees analogous to results in the Turing degrees , and then to answer the long open problem of determining at which point the theory of the local structure of the enumeration degrees becomes undecidable.
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITÀ DEGLI STUDI DI SIENA · SIENAКоординаторИталия
Връзки
Данни: CORDIS, © Европейски съюз