On Σn-definability in arithmetic

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

pp. 47-56


This document is unfortunately not available for download at the moment.

Not implemented yet !