A valuation ring analogue of von Neumann regularity

DOI10.1016/j.apal.2006.07.001zbMath1123.03030OpenAlexW1970178576MaRDI QIDQ866563

Claude Sureson

Publication date: 14 February 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.07.001

zbMATH Keywords

regular ringquantifier eliminationdecidabilityaxiomatizabilitymodel-completenessp.p. ringRumely domain

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Model companion and model completion of theories of rings

Cites Work

• Unnamed Item
• Unnamed Item
• Elimination of quantifiers in algebraic structures
• Model-completeness and elimination of quantifiers for subdirect products of structures
• The model completion of the theory of commutative regular rings
• Comprehensive Gröbner bases and regular rings
• A generalization of von Neumann regularity
• Existentially closed domains with radical relations.
• Elimination theory for the ring of algebraic integers.
• Sheaf Constructions and Their Elementary Properties
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements

This page was built for publication: A valuation ring analogue of von Neumann regularity