Follow
F. Félix  Lara-Martín
Title
Cited by
Cited by
Year
Induction, minimization and collection for Δ n+1 (T)–formulas
A Fernández-Margarit, FF Lara-Martín
Archive for mathematical logic 43, 505-541, 2004
132004
Predicativity through transfinite reflection
A CORDÓN, D Fernández-Duque, JJ Joosten, FF Lara-Martín
The Journal of Symbolic Logic 82 (3), 787-808, 2017
122017
Fragments of Arithmetic and true sentences
A Cordón‐Franco, A Fernández‐Margarit, FF Lara‐Martín
Mathematical Logic Quarterly 51 (3), 313-328, 2005
122005
A note on parameter free Π1‐induction and restricted exponentiation
A Cordón‐Franco, A Fernández‐Margarit, FF Lara‐Martín
Mathematical Logic Quarterly 57 (5), 444-455, 2011
102011
On the quantifier complexity of Δ n+1 (T)– induction
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
Archive for Mathematical Logic 43, 371-398, 2004
82004
Existentially closed models in the framework of arithmetic
Z Adamowicz, A CORDÓN, FF Lara-martín
The Journal of Symbolic Logic 81 (2), 774-788, 2016
72016
On the optimality of conservation results for local reflection in arithmetic
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
The Journal of Symbolic Logic 78 (4), 1025-1035, 2013
62013
Provably total primitive recursive functions: theories with induction
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
International Workshop on Computer Science Logic, 355-369, 2004
52004
Local induction and provably total computable functions
A Cordón-Franco, FF Lara-Martín
Annals of Pure and Applied Logic 165 (9), 1429-1444, 2014
42014
Existentially closed models and conservation results in bounded arithmetic
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
Journal of Logic and Computation 19 (1), 123-143, 2009
42009
A note on Σ1-maximal models
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
The Journal of Symbolic Logic 72 (3), 1072-1078, 2007
42007
Fragments of Arithmetic with Extensions of Bounded Complexity
A Cordón Franco, A Fernández Margarit, FF Lara Martın
Preprint, Seville, August, 2003
42003
Lipschitz and Wadge binary games in second order arithmetic
A Cordón-Franco, FF Lara-Martín, MJS Loureiro
Annals of Pure and Applied Logic 174 (9), 103301, 2023
32023
On axiom schemes for T-provably formulas
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
Archive for Mathematical Logic 53, 327-349, 2014
22014
Some Results on LΔ n+ 1
A Fernández Margarit, FF Lara Martín
Mathematical Logic Quaterly, 47 (4), 503-512., 2001
22001
Inducción y recursión: las teorías I delta N+ 1 (T)
FFL Martín
Universidad de Sevilla, 2000
2*2000
Envelopes, indicators and conservativeness
A Cordón‐Franco, A Fernández‐Margarit, FF Lara‐Martín
Mathematical Logic Quarterly 52 (1), 51-70, 2006
12006
Some Results on LΔn+1.
AF Margarit, FF Lara Martin
Mathematical Logic Quarterly 47 (4), 2001
12001
On Conditional Axioms and Associated Inference Rules
J Borrego-Díaz, A Cordón-Franco, FF Lara-Martín
Axioms 13 (5), 306, 2024
2024
Semi-honest subrecursive degrees and the collection rule in arithmetic
A Cordón-Franco, FF Lara-Martín
Archive for Mathematical Logic 63 (1), 163-180, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20