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) over tilde, where R a subring of (R) over tilde, with particular interest in the case when (R) over tilde is the integral closure of R in a finite dimensional separable field extension of the field of fractions of R.