Some Results on L-Delta-- n+1. - Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2001)

Provably Total Primitive Recursive Functions: Theories with Induction. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (CSL, 2004)

On the quantifier complexity of bigtriangleupn+1 (T)? induction. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2004)

Induction, minimization and collection for Deltan+1(T)-formulas. - Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2004)

Fragments of Arithmetic and true sentences. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2005)

Envelopes, indicators and conservativeness. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2006)

On Rules and Parameter Free Systems in Bounded Arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (CiE, 2007)

A note on Σ1-maximal models. - Andrés Cordón-Franco; Francisco Félix Lara Martín (J. Symb. Log., 2007)

Existentially Closed Models and Conservation Results in Bounded Arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (J. Log. Comput., 2009)

A note on parameter free Π1-induction and restricted exponentiation. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2011)

Local Induction and Provably Total Computable Functions: A Case Study. - Andrés Cordón-Franco; Francisco Félix Lara Martín (CiE, 2012)

On the optimality of conservation results for local reflection in arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (J. Symb. Log., 2013)

On axiom schemes for T-provably Δ1 formulas. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2014)

Local induction and provably total computable functions. - Andrés Cordón-Franco; Francisco Félix Lara Martín (Ann. Pure Appl. Log., 2014)

Existentially Closed Models in the Framework of Arithmetic. - Zofia Adamowicz; Andrés Cordón-Franco; Francisco Félix Lara Martín (J. Symb. Log., 2016)

Predicativity through Transfinite Reflection. - Andrés Cordón-Franco; David Fernández-Duque; Joost J. Joosten; Francisco Félix Lara Martín (J. Symb. Log., 2017)

Lipschitz and Wadge binary games in second order arithmetic. - Andrés Cordón-Franco; Francisco Félix Lara Martín; Manuel J. S. Loureiro (Ann. Pure Appl. Log., 2023)

Lipschitz Determinacy and Arithmetic Transfinite Recursion. - Andrés Cordón-Franco; Francisco Félix Lara Martín; Manuel J. S. Loureiro (CiE, 2024)

Semi-honest subrecursive degrees and the collection rule in arithmetic. - Andrés Cordón-Franco; Francisco Félix Lara Martín (Arch. Math. Log., 2024)

On Conditional Axioms and Associated Inference Rules. - Joaquín Borrego-Díaz; Andrés Cordón-Franco; Francisco Félix Lara Martín (Axioms, 2024)