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 (IITK), Uttar Pradesh
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.
Source
Source
Anusandhan National Research Foundation/Science and Engineering Research Board (SERB), DST 2023-24
Mathematical Logic and Theoretical Computer Science
Start Date
2024
End Date
2027
Status
ongoing
Contact
krashu@iitk.ac.in
Output
No. of Research Paper
00
Technologies (If Any)
00
No. of PhD Produced
00
Publications
00
No. of Patents
Filed :00
Grant :00
Disclaimer:
Information available on this portal is sourced from various organizations and is provided for informational purposes only. Users are advised to verify details from the respective official sources.
Please enter your details
Please provide your name and email to continue. Your details are saved in this browser for future use.
Latest Updates
Loading…
⚠️
You are leaving this website
You are about to be redirected to an external website that is not operated by
India Science, Technology & Innovation (ISTI) Portal.
Indian Institute Of Technology Kanpur
Accessibility Controls