scientific article
From MaRDI portal
Publication:4026903
zbMath0760.08003MaRDI QIDQ4026903
Ralph McKenzie, Matthew A. Valeriote
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
discriminator varietylocally finite varietiesaffine varietystrongly Abelian varietydecidable first-order theory
Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Products, amalgamated products, and other kinds of limits and colimits (08B25)
This page was built for publication: