The ehrenfeucht conjecture: An algebra-framework for its proof

AbstractWe describe an algebraic framework including, in particular, the affine monoid of a given ring. Within this framework it is a simple matter to deduce Ehrenfeucht's Conjecture from Hilbert's Basis Theorem