We study skew inverse power series extensions R[[y−1; τ, δ]], where R is a noetherian ring equipped with an automorphism τ and a τ -derivation δ. We find that these extensions share many of the well known features of commutative power series rings. As an application of our analysis, we see that the iterated skew inverse power series rings corresponding to nth Weyl algebras are complete, local, ...
