Degrees of Categoricity Above Limit Ordinals

Barbara F. Csima, Michael Deveau, Matthew Harrison-Trainor +1

A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic comput…