 | 2012 |
|---|
| 11 |       | Andrés Cordón-Franco,
Francisco Félix Lara Martín:
Local Induction and Provably Total Computable Functions: A Case Study.
CiE 2012: 440-449 |
| 2011 |
|---|
| 10 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
A note on parameter free Π1-induction and restricted exponentiation.
Math. Log. Q. 57(5): 444-455 (2011) |
| 2009 |
|---|
| 9 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Existentially Closed Models and Conservation Results in Bounded Arithmetic.
J. Log. Comput. 19(1): 123-143 (2009) |
| 2007 |
|---|
| 8 | | 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 |
| 7 | | Andrés Cordón-Franco,
Francisco Félix Lara Martín:
A note on Sigma1-maximal models.
J. Symb. Log. 72(3): 1072-1078 (2007) |
| 2006 |
|---|
| 6 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page