Bézout domains and lattice-valued modules (Q2318399)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bézout domains and lattice-valued modules |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0 references
0.8179711103439331
0 references
0.8126571774482727
0 references
0.7916703224182129
0 references
0.7885751724243164
0 references
0.784490704536438
0 references
