Bézout domains and lattice-valued modules (Q2318399): Difference between revisions

The paper contains an advanced study of the model theory of modules over commutative Bezout domains, containing a Feferman-Vaught-type theorem, the definable sets and the constructible sets of the maximal ideal spectrum of the ring. As an application, they get the decidability of the theory of the right modules over the ring of all algebraic integers and over the rings of the real, respectively the \(p\)-adic, algebraic integers.