We study prime ideals in skew power series rings T := R[[y; τ, δ]], for suitably conditioned complete right noetherian rings R, automorphisms τ of R, and τ -derivations δ of R. Such rings were introduced by Venjakob, motivated by issues in noncommutative Iwasawa theory. Our main results concern “Cutting Down” and “Lying Over.” In particular, assuming that τ extends to a compatible automorphsim ...