Title | Initial segments maximal Σₙ-definable sets in fragments of arithmetic |
Publication Type | Conference Contributions |
Year of Publication | 2001 |
Authors | Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. |
Conference Name | Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium |
Volume Title | Collegium Logicum |
Publisher | Kurt G ̈del Society |
Place Published | Barcelona (Spain) |
Volume | IV |
Pages | 37-38 |
Date Published | 16-19/07/1999 |