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

Informations projet

BJORN KJOS-HANSSEN

N° de convention de subvention: HPMF-CT-2002-01888

Projet clôturé

Date de début 13 Septembre 2002

Date de fin 12 Septembre 2004

Financé au titre de

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

Coût total € 139 950,00

Contribution de l’UE € 139 950,00

Coordonné par

RUPRECHT-KARLS-UNIVERSITAET HEIDELBERG
Germany

Objectif

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

Programme(s)

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

Thème(s)

Data not available

Appel à propositions

Data not available

Régime de financement

RGI - Research grants (individual fellowships)

Coordinateur

RUPRECHT-KARLS-UNIVERSITAET HEIDELBERG

• Contribution de l’UE: Aucune donnée
• Adresse: Im Neuenheimer Feld 294 ; 69120 HEIDELBERG ; Allemagne
• Coût total: Aucune donnée