Author:
Borrego-Diaz J.,Fernández-Margarit A.,Pérez-Jimenez M. J.
Reference7 articles.
1. Clôte, P. G. (1983). Partition relations in arithmetic. Lecture Notes in Mathematics, 1130: 32–68.
2. Fernández-Margarit, A. and Pérez-Jiménez, M. J. (1994). Maximum schemes in arithmetic. Mathematical Logic Quarterly, 40: 425–430.
3. Graciani, M. C., Pérez-Jiménez, M. J., Romero, A., and Sancho, F. (2000). Initial segment maximal En-definable sets in fragments of arithmetic. The Yearbook of the Kurt Gödel Society. Forthcoming.
4. Hâjek, P. and Pudlâk, P. (1993). Metamathematics of First-Order Arithmetic Springer Verlag.
5. Kaye, R. (1991). Models of Peano Arithmetic, volume XV of Oxford Logic Guides. Clarendon Press, Oxford.