Some model theory of modules over Bézout domains. The width

We will develop the model theory of modules over commutative Bézout domains. In particular we characterize commutative Bézout domains B whose lattice of pp-formulae has no width and give some applications to the existence of superdecomposable pure injective B-modules.