The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements

DOI10.2307/2039295zbMath0267.02040OpenAlexW4244267380MaRDI QIDQ5685076

No author found.

Publication date: 1973

Full work available at URL: https://doi.org/10.2307/2039295

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05)

Related Items (20)

Model companion and model completion of theories of rings ⋮ A valuation ring analogue of von Neumann regularity ⋮ Sheaf Constructions and Their Elementary Properties ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Existentially Complete Abelian Lattice-Ordered Groups ⋮ Strutture esistenzialmente complete per certe classi di anelli ⋮ On von Neumann regular rings with an automorphism ⋮ Elementary equivalence of some rings of definable functions ⋮ Sheaves and duality ⋮ A generalization of von Neumann regularity ⋮ Model-completeness and elimination of quantifiers for subdirect products of structures ⋮ Representation of regular rings of finite index ⋮ Amalgamation bases for commutative rings without nilpotent elements ⋮ Positive definite functions over regular f-rings and representations as sums of squares ⋮ Model-companions and definability in existentially complete structures ⋮ Commutative Regular Rings with Integral Closure ⋮ Commutative Regular Rings without Prime Model Extensions ⋮ Valued modules on skew polynomial rings and Bézout domains ⋮ BL-global representations ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• On the free product of associative rings
• Embedding problems for modules and rings with application to model- companions
• Introduction to model theory and to the metamathematics of algebra
• Model-completions and modules

This page was built for publication: The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements