Francisco Félix Lara Martín

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 6

Top Topics

Sequent Calculus

Arithmetic Operations

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara Martín
On Conditional Axioms and Associated Inference Rules. Axioms 13 (5) (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz Determinacy and Arithmetic Transfinite Recursion. CiE (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Semi-honest subrecursive degrees and the collection rule in arithmetic. Arch. Math. Log. 63 (1) (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz and Wadge binary games in second order arithmetic. Ann. Pure Appl. Log. 174 (9) (2023)
Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín
Predicativity through Transfinite Reflection. J. Symb. Log. 82 (3) (2017)
Zofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín
Existentially Closed Models in the Framework of Arithmetic. J. Symb. Log. 81 (2) (2016)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
formulas. Arch. Math. Log. 53 (3-4) (2014)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Local induction and provably total computable functions. Ann. Pure Appl. Log. 165 (9) (2014)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
On the optimality of conservation results for local reflection in arithmetic. J. Symb. Log. 78 (4) (2013)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Local Induction and Provably Total Computable Functions: A Case Study. CiE (2012)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
-induction and restricted exponentiation. Math. Log. Q. 57 (5) (2011)
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) (2009)
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)
Andrés Cordón-Franco, Francisco Félix Lara Martín
-maximal models. J. Symb. Log. 72 (3) (2007)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Envelopes, indicators and conservativeness. Math. Log. Q. 52 (1) (2006)
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) (2005)
Alejandro Fernández-Margarit, Francisco Félix Lara Martín
(T)-formulas. Arch. Math. Log. 43 (4) (2004)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
(T)? induction. Arch. Math. Log. 43 (3) (2004)
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)
Alejandro Fernández-Margarit, Francisco Félix Lara Martín
+1. Math. Log. Q. 47 (4) (2001)