Francisco Félix Lara Martín

Orcid: 0000-0002-4897-1442

According to our database1, Francisco Félix Lara Martín authored at least 20 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Conditional Axioms and Associated Inference Rules.
Axioms, May, 2024

Semi-honest subrecursive degrees and the collection rule in arithmetic.
Arch. Math. Log., February, 2024

Lipschitz Determinacy and Arithmetic Transfinite Recursion.
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023
Lipschitz and Wadge binary games in second order arithmetic.
Ann. Pure Appl. Log., October, 2023

2017
Predicativity through Transfinite Reflection.
J. Symb. Log., 2017

2016
Existentially Closed Models in the Framework of Arithmetic.
J. Symb. Log., 2016

2014
Local induction and provably total computable functions.
Ann. Pure Appl. Log., 2014

On axiom schemes for T-provably Δ<sub>1</sub> formulas.
Arch. Math. Log., 2014

2013
On the optimality of conservation results for local reflection in arithmetic.
J. Symb. Log., 2013

2012
Local Induction and Provably Total Computable Functions: A Case Study.
Proceedings of the How the World Computes, 2012

2011
A note on parameter free Π<sub>1</sub>-induction and restricted exponentiation.
Math. Log. Q., 2011

2009
Existentially Closed Models and Conservation Results in Bounded Arithmetic.
J. Log. Comput., 2009

2007
A note on Σ<sub>1</sub>-maximal models.
J. Symb. Log., 2007

On Rules and Parameter Free Systems in Bounded Arithmetic.
Proceedings of the Computation and Logic in the Real World, 2007

2006
Envelopes, indicators and conservativeness.
Math. Log. Q., 2006

2005
Fragments of Arithmetic and true sentences.
Math. Log. Q., 2005

2004
Induction, minimization and collection for Delta<sub>n+1</sub>(T)-formulas.
Arch. Math. Log., 2004

On the quantifier complexity of bigtriangleup<sub>n+1</sub> (T)? induction.
Arch. Math. Log., 2004

Provably Total Primitive Recursive Functions: Theories with Induction.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2001
Some Results on L-Delta-<sup>-</sup> <i>n</i>+1.
Math. Log. Q., 2001


  Loading...