On von Neumann regular rings with an automorphism

DOI10.1016/j.jalgebra.2007.05.006zbMath1127.03033OpenAlexW2164702394MaRDI QIDQ2456173

Françoise Point, Ehud Hrushovski

Publication date: 17 October 2007

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2007.05.006

zbMATH Keywords

von Neumann regular ringsexistentially closed modelsdifference rings(un)decidable theories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Decidability of theories and sets of sentences (03B25) Structure, classification theorems for modules and ideals in commutative rings (13C05) Quantifier elimination, model completeness, and related topics (03C10) Applications of logic in associative algebras (16B70)

Related Items (7)

VALUED MODULES OVER SKEW POLYNOMIAL RINGS I ⋮ Elimination of unknowns for systems of algebraic differential-difference equations ⋮ SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY ⋮ Existentially closed ordered difference fields and rings ⋮ Quantifier elimination in valued Ore modules ⋮ New bounds and an efficient algorithm for sparse difference resultants ⋮ Effective difference elimination and nullstellensatz

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Undecidability of some elementary theories over PAC fields
• The first order theory of Boolean algebras with a distinguished group of automorphisms
• Groupes et anneaux reticules
• Endomorphisms of symbolic algebraic varieties
• Galois theory of difference equations
• The representation of biregular rings by sheaves
• Undecidable theories
• The model completion of the theory of modules over finitely generated commutative algebras
• Elimination theory for the ring of algebraic integers.
• Model-completeness for sheaves of structures
• Sheaf Constructions and Their Elementary Properties
• Model theory of difference fields
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• The strict order property and generic automorphisms
• Computable Algebra, General Theory and Theory of Computable Fields
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements

This page was built for publication: On von Neumann regular rings with an automorphism