Arithmetical Comprehension and Turing Jump Closure for $\omega$-Models