Publication:3912786

From MaRDI portal


zbMath0462.03008MaRDI QIDQ3912786

Andreas Baudisch

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