Computability-theoretic properties of injection structures Academic Article uri icon