Model companion and model completion of theories of rings

DOI10.1007/S00153-009-0129-3MaRDI QIDQ2391092zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

regular ringmodel companionmodel completion

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 1824113
• scientific article; zbMATH DE number 21146
• Theories of rings with divisibility
• The model completion of the theory of modules over finitely generated commutative algebras
• scientific article; zbMATH DE number 3930979

Cites work

• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• scientific article; zbMATH DE number 3821712 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3997750 (Why is no real title available?)
• A generalization of von Neumann regularity
• A valuation ring analogue of von Neumann regularity
• Elimination of quantifiers in algebraic structures
• Elimination theory for the ring of algebraic integers.
• Existentially closed domains with radical relations.
• Model theoretic algebra. Selected topics
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Model-completeness for sheaves of structures
• Nullstellensätze — A Model Theoretic Framework
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
• The model completion of the theory of commutative regular rings

Cited in

(9)

• scientific article; zbMATH DE number 3930979 (Why is no real title available?)
• On the model theory of the ring \(\mathrm{NT}(n,R)\)
• scientific article; zbMATH DE number 962551 (Why is no real title available?)
• An Application of Model Theory to Semimodules
• Model companions of theories with an automorphism
• scientific article; zbMATH DE number 3952732 (Why is no real title available?)
• A valuation ring analogue of von Neumann regularity
• scientific article; zbMATH DE number 4141899 (Why is no real title available?)
• A class of particular inductive rings and bi-inductive rings

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)