1 problem

Let $S$ be a decidable structure, and let $d$ be a degree. The degree $d$ is a degree of decidable categoricity if it is the least degree such that $S$ is decidably $d$-categorical…