| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662806 | Annals of Pure and Applied Logic | 2007 | 19 Pages |
Abstract
We continue the study of a theory which is a valued analogue of the theory of regular rings studied by Carson, Lipshitz and Saracino, characterize it as the model companion of the theory of (extended) Prüfer rings, and prove its decidability. We then link it to the theory of p.p. rings developed by Weispfenning and show that it admits quantifier elimination in a related language.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
