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 Fernández-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
10 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 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 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
3 2009 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 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 access to The Journal of Symbolic Logic Z ADAMOWICZ, A CORDÓN, FF LARA-MARTÍN
The Journal of Symbolic Logic 81 (2), 774-788, 2016
2016