| 2007 |
|---|
| 7 | 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 |
|---|
| 6 | 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 |
|---|
| 5 | 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 |
|---|
| 4 | 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 |
| 3 | 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) |
| 2 | 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 |
|---|
| 1 | 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) |
