Computable structures, effective categoricity, and Scott families Presentation uri icon