Publication:3912786
From MaRDI portal
zbMath0462.03008MaRDI QIDQ3912786
Publication date: 1981
03C60: Model-theoretic algebra
03C80: Logic with extra quantifiers and operators
16W50: Graded rings and modules (associative rings and algebras)
03C10: Quantifier elimination, model completeness, and related topics
Related Items