Switch to: References

Add citations

You must login to add citations.
  1. Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
    Extending the language of rings to include predicates for Jacobson radical relations, we show that the theory of regular rings defined by Carson, Lipshitz and Saracino is the model completion of the theory of semisimple rings. Removing the requirement on the Jacobson radical (reduced to {0}), we prove that the theory of rings with no nilpotents does not admit a model companion relative to this augmented language.
    Download  
     
    Export citation  
     
    Bookmark  
  • A valuation ring analogue of von Neumann regularity.Claude Sureson - 2007 - Annals of Pure and Applied Logic 145 (2):204-222.
    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 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation