Modular Frobenius pseudo-varieties
If and is a finite subset of , then we denote by \begin{align*} \mathscr{C}(m,A) = \left\{S\in \mathscr{S}_m \mid s_1+\cdots+s_k-m \in S \mbox{ if } (s_1,\ldots,s_k)\in S^k \mbox{ and }\right. \\ \left.(s_1 \bmod m, \ldots, s_k \bmod m)\in A \right\}. \end{align*} In this work we prove that is a Frobenius pseudo-variety. We also show algorithms that allows us to establish whether a numerical semigroup belongs to and to compute all the elements of with a fixed genus. Moreover, we introduce and study three families of numerical semigroups, called of second-level, thin and strong, and corresponding to when , , and , respectively.