Borrego-Díaz, J., Fernández-Margarit A., & Pérez-Jiménez M. J.  (2003).??On Sigma-n definability in Arithmetic..  (A. Rojszczak, J. Cachro, G. Kurczewski, Ed.).Philosophical Dimensions of Logic and Science.  47-56.