In the signature, (+), the class of groups is an axiomatizable class of algebraic structures which, though not a variety in that particular signature, is the reduct of a variety in the signature (+, 0, -). But does there exist an axiomatizable class of algebraic structures, maybe even finitely axiomatizable, which is not even the reduct of a variety? By algebraic structure, I mean one without relation symbols, only functions and constants.
2026-04-06 04:39:58.1775450398
Axiomatizable class of algebraic structures which is not the reduct of a variety
112 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
The class of fields has this property, since the product of two fields is not a field.
Or, take the class of algebras (in a given language) of size exactly thirteen (this is indeed axiomatizable by a single first-order sentence).