Submission date: 21 October 2013.

Abstract:

We 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.

Mathematics Subject Classification: 03C60

Keywords and phrases: Bézout domain, commutative valuation domain, width of the lattice of pp-formulas, superdecomposable pure injective module

Full text: pdf, dvi, ps.