Computability-theoretic categoricity and Scott families Academic Article uri icon