Model companion and model completion of theories of rings
From MaRDI portal
Publication:2391092
DOI10.1007/S00153-009-0129-3zbMATH Open1178.03046OpenAlexW1976256456MaRDI QIDQ2391092FDOQ2391092
Authors: Claude Sureson
Publication date: 24 July 2009
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-009-0129-3
Recommendations
Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model theoretic algebra. Selected topics
- Elimination of quantifiers in algebraic structures
- Existentially closed domains with radical relations.
- Title not available (Why is that?)
- Elimination theory for the ring of algebraic integers.
- Model-completeness for sheaves of structures
- Nullstellensätze — A Model Theoretic Framework
- The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
- Model-completeness and elimination of quantifiers for subdirect products of structures
- The model completion of the theory of commutative regular rings
- A generalization of von Neumann regularity
- A valuation ring analogue of von Neumann regularity
- Title not available (Why is that?)
Cited In (9)
- A valuation ring analogue of von Neumann regularity
- Title not available (Why is that?)
- On the model theory of the ring \(\mathrm{NT}(n,R)\)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A class of particular inductive rings and bi-inductive rings
- Model companions of theories with an automorphism
- Title not available (Why is that?)
- An Application of Model Theory to Semimodules
This page was built for publication: Model companion and model completion of theories of rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391092)