Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 640

Preprint Number 640

Previous Next Preprint server

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.

Full text: pdf, dvi, ps.

Last updated: October 25 2013 12:51 Please send your corrections to: