  In this paper we introduce the notion of extension of a numerical semigroup.
We provide a characterization of the numerical semigroups whose extensions are
all arithmetic and we give an algorithm for the computation of the whole set of
arithmetic extension of a given numerical semigroup. As by-product, new
explicit formulas for the Frobenius number and the genus of proportionally
modular semigroups are obtained.
