On Σn-definability in arithmetic

2003

J. Borrego-Diaz, A. Fernández-Margarit, M. J. Pérez-Jimenez

in: Philosophical dimensions of logic and science, Berlin,