Independence results on the global structure of Turing degrees
Implementing Organization
Indian Institute of Technology (IIT), Kanpur
Principal Investigator
Dr. Ashutosh Kumar
Indian Institute of Technology (IIT), Kanpur
About
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
Science and Engineering Research Board (SERB), New Delhi
Anusandhan National Research Foundation (ANRF)
Quick Information
Area of Research
Mathematical Sciences
Focus Area
Mathematical Logic and Theoretical Computer Science
Start Year
2024
End Year
2027
Sanction Amount
₹ 6.60 L
Status
Ongoing
Contact
krashu@iitk.ac.in
Output
No. of Research Paper
00
Technologies (If Any)
00
No. of PhD Produced
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 (IIT), Kanpur
Acces sibility Controls