Computable categoricity versus relative computable categoricity
Rodney G. Downey, Asher M. Kach, Steffen Lempp, Daniel D. Turetsky · Fundamenta Mathematicae · 2013
We study the notion of computable categoricity of computable structures, comparing it especially to the notion of relative computable categoricity and its relativizations. We show that every 1 decidable computably categorical structure is relatively