| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4588227 | Journal of Algebra | 2007 | 45 Pages |
Abstract
We study the first-order theory of Bezout difference rings. In particular we show that rings of sequences very rarely have decidable theories as difference rings, or even decidable model completions.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
