Publication:4722051
From MaRDI portal
zbMath0614.03030MaRDI QIDQ4722051
Publication date: 1986
03C60: Model-theoretic algebra
13L05: Applications of logic to commutative algebra
03C13: Model theory of finite structures
03C10: Quantifier elimination, model completeness, and related topics
13M05: Structure of finite commutative rings
Related Items