科研之友
微信
新浪微博
Facebook
分享链接
摘要
We describe the Ziegler spectrum of a Bezout 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 %26quot;sufficiently%26quot; recursive.
- 出版日期2014-3
