Publications > Preprint server > Preprint Number 640
Preprint Number 640
640. Gena Puninski and Carlo Toffalori
Decidability of modules over a Bézout domain D + XQ[X] with D a principal ideal domain and Q its field of fractions
Submission date: 23 October 2013.
We describe the Ziegler spectrum of a Bézout domain B = D + XQ[X] where D is a principal ideal domain and Q is its field of fractions; in particular we compute the Cantor - Bendixson rank of this space. Using this, we prove the decidability of the theory of B-modules when D is sufficiently recursive.
Mathematics Subject Classification: 03C60, 13F05, 13F30
Keywords and phrases: Bézout domain, decidability, Ziegler spectrum, Cantor - Bendixson rank, Krull - Gabriel dimension.
|Last updated: October 25 2013 12:51||Please send your corrections to:|