Article contents
DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN D+XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS
Published online by Cambridge University Press: 17 April 2014
Abstract
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.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2014
References
REFERENCES
- 2
- Cited by