H. Peter Gumm

Philipps-Universität Marburg

Sometimes the translation is not faithful, small things are added, or even changed. We saw an example before.
Here are more ...

Above, a sentence was added and another one „corrected“. Both are false:
1. From a free algebra F(X) to another algebra A  there are lots of homomorphism. In fact, |A| to the power |X| many.    
2. It is the free one the empty generating set, which is initial, not the free one on countably many generators.
   ( |A| to the power 0 is 1, but |A| to the power aleph_0 is a lot ! )

Notice that the „Folgerung“ (Corollary) has become a proposition, because in (ii) they add a result not found in my article. Why? It is false. The claim of Prop. 4.3.5(ii)  is in fact equivalent to F preserving preimages, see Theorem 5.7 in my  ENTCS paper with T.Schröder (2000).

Gumm

Denecke/Wismath