This project investigates treeable degrees—a newly isolated class of Turing degrees arising from computable structures—and leverages them to advance our understanding of degrees of categoricity. Building on our 2023 characterization of strong degrees of categoricity above 0’’ as treeable degrees, we study the definability, structural properties, and scope of treeability, and use these insights to tackle long‑standing open problems in computable structure theory.
Funding
This project is funded by the Austrian Science Fund (FWF). See the FWF project page: https://www.fwf.ac.at/en/research-radar/10.55776/PAT4699225
Team
- Dino Rossegger (Principal Investigator)