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