Objective
The proposed research involves investigation into two fundamental open problems in computability theory, both of which offer the potential for significant new progress. The first proposed area of investigation is a question due to Sacks as regards the existence of a degree invariant solution to Post's problem.
The proposer has already developed new and exciting techniques with which he has been able to produce what is probably the strongest result on the positive side of the question. We propose to develop these techniques in order to give still stronger results, hopefully culminating in a full solution to the problem.
The second proposed area of investigation is as regards the decidability of the two-quantifier theory of the c.e. degrees. Recent work in the area has suggested an approach to the relevant extensions of embeddings problem. The benefit of this approach is that there do seem to be approachable questions concerning extensions of embeddings, which involve finding solutions to some more particular questions concerning the structure of the c.e. degrees which are of considerable interest in themselves.
The proposer will expand his knowledge of computability theory by gaining experience in the study of the Medvedev lattice and the enumeration reducibility. Through work with experts at the host institution in computational learning theory he will open up the possibility of future research in matters more directly related to computer science. Complimentary skills will be developed through a variety of means - in particular the proposer will attend courses in teaching methodology and will gain experience in the organization of conferences.
The project is seen as a real opportunity for the proposer to expand his mathematical knowledge - both within his present field of expertise and in new areas - and to move towards a position of professional maturity and independence.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP6-2004-MOBILITY-5
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
SIENA
Italy
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.