Title of article
A valuation ring analogue of von Neumann regularity
Author/Authors
Sureson، نويسنده , , Claude، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
19
From page
204
To page
222
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.
Keywords
Regular rings , Rumely domains , p.p. rings , Quantifier elimination , Decidability
Journal title
Annals of Pure and Applied Logic
Serial Year
2007
Journal title
Annals of Pure and Applied Logic
Record number
1444205
Link To Document