Jiri Adamek wrote:

>Where do I find a proof that every subsemigroup of the additive group
>of all natural numbers is finitely generated?
>
>
>xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
>alternative e-mail address (in case reply key does not work):
>J.Adamek@...
>xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
>
>
>
>
>
You can also prove it using partial algebras. Starting from relative
partial subsemigroups of N.
The main construction is in a paper due to Mikenberg, I (1984?)

A. Mani
Member, Cal. Math. Soc