Computability Learning Seminar | Beining Mu | Degree of categoricity and treeable degrees

Beining Mu, University of Waterloo

Degree of categoricity and treeable degrees

In this seminar, we will discuss treeable degrees and degree of categoricity. We will introduce past results on which degrees can or cannot be a degree of categoricity and when degrees of categoricity coincide with treeable degrees. We will also introduce a notion of \(\Pi^0_1\) singletons as an example of treeable degrees and their relation to degree of categoricity.

MC 5403