Now showing items 1-1 of 1
Degrees of Categoricity and the Isomorphism Problem
(University of Waterloo, 2019-06-12)
In this thesis, we study notions of complexity related to computable structures. We first study degrees of categoricity for computable tree structures. We show that, for any computable ordinal $\alpha$, there exists a ...