On disjoint unions of finitely many copies of the free monogenic semigroup
arXiv:1205.6169
Abstract
Every semigroup which is a finite disjoint union of copies of the free monogenic semigroup (natural numbers under addition) is finitely presented and residually finite.