Bézout domains and lattice-valued modules (Q2318399)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bézout domains and lattice-valued modules |
scientific article |
Statements
Bézout domains and lattice-valued modules (English)
0 references
15 August 2019
0 references
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.
0 references
Bézout domains
0 references
decidability of theories of modules
0 references
valued modules
0 references
abelian structures
0 references
definable sets
0 references
ring of all algebraic integers
0 references
ring of all real algebraic integers
0 references
ring of all \(p\)-adic algebraic integers
0 references
