On von Neumann regular rings with an automorphism
From MaRDI portal
Publication:2456173
DOI10.1016/j.jalgebra.2007.05.006zbMath1127.03033MaRDI QIDQ2456173
Ehud Hrushovski, Françoise Point
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
03C60: Model-theoretic algebra
16E30: Homological functors on modules (Tor, Ext, etc.) in associative algebras
03B25: Decidability of theories and sets of sentences
13C05: Structure, classification theorems for modules and ideals in commutative rings
03C10: Quantifier elimination, model completeness, and related topics
16B70: Applications of logic in associative algebras
Related Items
Quantifier elimination in valued Ore modules, Existentially closed ordered difference fields and rings
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