Computability theory, effective forcing constructions, and applications to degree structures

Informazioni relative al progetto

BJORN KJOS-HANSSEN

ID dell’accordo di sovvenzione: HPMF-CT-2002-01888

Progetto chiuso

Data di avvio 13 Settembre 2002

Data di completamento 12 Settembre 2004

Finanziato da

• Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Costo totale € 139 950,00

Contributo UE € 139 950,00

Coordinato da

RUPRECHT-KARLS-UNIVERSITAET HEIDELBERG
Germany

Obiettivo

Research on computability theory, effective forcing constructions and applications to degree structures, in particular principal ideals of the Turing degrees.

Programma(i)

• FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Argomento(i)

Data not available

Invito a presentare proposte

Data not available

Meccanismo di finanziamento

RGI - Research grants (individual fellowships)

Coordinatore

RUPRECHT-KARLS-UNIVERSITAET HEIDELBERG

• Contributo UE: Nessun dato
• Indirizzo: Im Neuenheimer Feld 294 ; 69120 HEIDELBERG ; Germania
• Costo totale: Nessun dato