On Σ N -Definability in Arithmetic | Publicación