Computability-theoretic complexity of countable structures Academic Article uri icon