DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN
D+XQ[X] WITH
D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD
OF FRACTIONS
Keyword(s):
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.
Keyword(s):
1979 ◽
Vol 20
(2)
◽
pp. 247-252
◽
Keyword(s):
1971 ◽
Vol 5
(1)
◽
pp. 87-94
◽
Keyword(s):
1991 ◽
Vol 157
◽
pp. 141-145
◽
1969 ◽
Vol 10
(3-4)
◽
pp. 395-402
◽
Keyword(s):
1991 ◽
Vol 12
(3)
◽
pp. 581-591
◽