| 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 | 13 | 2004 |
| Predicativity through transfinite reflection A CORDÓN, D Fernandez-Duque, JJ Joosten, FF Lara-Martín The Journal of Symbolic Logic 82 (3), 787-808, 2017 | 12 | 2017 |
| 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 | 12 | 2005 |
| 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 | 11 | 2011 |
| 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 | 8 | 2004 |
| 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 | 7 | 2016 |
| 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 | 6 | 2013 |
| 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 | 5 | 2004 |
| 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 | 4 | 2014 |
| 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 | 4 | 2009 |
| 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 | 4 | 2007 |
| Fragments of Arithmetic with Extensions of Bounded Complexity A Cordón Franco, A Fernández Margarit, FF Lara Martın Preprint, Seville, August, 2003 | 4 | 2003 |
| 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 | 3 | 2023 |
| 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 | 2 | 2014 |
| Some Results on LΔ n+ 1 A Fernández Margarit, FF Lara Martín Mathematical Logic Quaterly, 47 (4), 503-512., 2001 | 2 | 2001 |
| 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 | 1 | 2006 |
| Some Results on LΔ—n+1. AF Margarit, FF Lara Martin Mathematical Logic Quarterly 47 (4), 2001 | 1 | 2001 |
| Lipschitz Determinacy and Arithmetic Transfinite Recursion A Cordón-Franco, FF Lara-Martín, MJS Loureiro Conference on Computability in Europe, 285-297, 2024 | | 2024 |
| 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 |
Andrés Cordón FrancoUniversidad de SevillaVerified email at us.es
