| 2007 |
|---|
| 9 | EE | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
On Rules and Parameter Free Systems in Bounded Arithmetic.
CiE 2007: 179-188 |
| 2006 |
|---|
| 8 | EE | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Envelopes, indicators and conservativeness.
Math. Log. Q. 52(1): 51-70 (2006) |
| 2005 |
|---|
| 7 | EE | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Fragments of Arithmetic and true sentences.
Math. Log. Q. 51(3): 313-328 (2005) |
| 2004 |
|---|
| 6 | EE | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Provably Total Primitive Recursive Functions: Theories with Induction.
CSL 2004: 355-369 |
| 5 | EE | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
On the quantifier complexity of bigtriangleupn+1 (T)? induction.
Arch. Math. Log. 43(3): 371-398 (2004) |
| 4 | EE | Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Induction, minimization and collection for Deltan+1(T)-formulas.
Arch. Math. Log. 43(4): 505-542 (2004) |
| 2001 |
|---|
| 3 | EE | Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Some Results on L-Delta-- n+1.
Math. Log. Q. 47(4): 503-512 (2001) |
| 1996 |
|---|
| 2 | | Joaquín Borrego-Díaz,
Alejandro Fernández-Margarit,
Mario J. Pérez-Jiménez:
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q. 42: 341-348 (1996) |
| 1994 |
|---|
| 1 | | Mario J. Pérez-Jiménez,
Alejandro Fernández-Margarit:
Maximum Schemes in Arithmetic.
Math. Log. Q. 40: 425-430 (1994) |
