Notes on model theory of modules over Dedekind domains

We associate a formal power series to every pp-formula over a Dedekind domain and use it to study Ziegler spectra of Dedekind domains R and R ~ , where R a subring of R ~ , with particular interest in the case when R ~ is the integral closure of R in a finite dimensional separable field extension of the field of fractions of R .