Independence results on the global structure of Turing degrees
Implementing Organization
Indian Institute of Technology Kanpur
Principal Investigator
Dr. Ashutosh Kumar
Indian Institute of Technology Kanpur
Project Overview
One of the central open problems in Computability theory was asked by Sacks in 1963: Does every locally countable partially ordered set of size continuum embed into the Turing degrees? In light of some recent developments, there is a renewed interest in this problem. We plan to investigate this and several other related problems about the global structure of Turing degrees using tools from both set theory and computability theory.
Indian Institute of Technology Kanpur
Acces sibility Controls