Corollary 2.2.14. Every recursive set $A\subseteq {\mathbb{N}}^k$ is ${\mathrm{\Sigma }}_1$-representable in PA${}^{-}$.