Search: Barcelona (Spain) | Research Group on Natural Computing

Search: Barcelona (Spain)

1 result

Results

Initial segments maximal Σₙ-definable sets in fragments of arithmetic

Mon, 05/21/2012 - 16:22 — alvaro

Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2001). Initial segments maximal Σₙ-definable sets in fragments of arithmetic. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. IV, 37-38.