Research
Title : | Independence results on the global structure of Turing degrees |
Area of research : | Mathematical Sciences |
Focus area : | Mathematical Logic and Theoretical Computer Science |
Principal Investigator : | Dr. Ashutosh Kumar, Indian Institute Of Technology Kanpur (IITK), Uttar Pradesh |
Timeline Start Year : | 2024 |
Timeline End Year : | 2027 |
Contact info : | krashu@iitk.ac.in |
Details
Executive Summary : | 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. |
Total Budget (INR): | 6,60,000 |
Organizations involved
Implementing Agency : | Indian Institute Of Technology Kanpur Funding Agency :Anusandhan National Research Foundation/ Science and Engineering Research Board | Source :Anusandhan National Research Foundation/Science and Engineering Research Board (SERB), DST 2023-24 | |