Objectif
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.
Thème(s)
Data not availableAppel à propositions
Data not availableRégime de financement
RGI - Research grants (individual fellowships)Coordinateur
53100 SIENA
Italie