|
|
LARA MARTIN, FRANCISCO FELIXPerfil en ORCID: 0000-0002-4897-1442 Perfil en Scopus: 6506210671\ Perfil en Dialnet: 2654355 Grupos de Investigación - LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO
Responsable de los siguientes proyectos/ayudas en la USParticipa los siguientes proyectos/ayudas en la USProyectos: - Teoría de Modelos y aplicaciones ( MTM2011-26840 - Investigador/a).
- MODELOS DE LA ARITMÉTICA Y ÁLGEBRAS DE FUNCIONES COMPUTABLES ( MTM2008-06435 - Investigador/a).
- MODELOS DE LA ARITMÉTICA Y CLASIFICACIÓN DE FUNCIONES COMPUTABLES ( MTM2005-08658 - Investigador/a).
- CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO ( DGES PB96-1345 - Investigador/a).
PublicacionesCapítulo de Libros: - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ON CONSERVATION RESULTS FOR PARAMETER FREE ΠN-INDUCTION. Pag. 49 - 97. En: STUDIES IN WEAK ARITHMETICS. CSLI PUBLICATIONS. 2009. ISBN 978-1-57586-602-4 - Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
SOME RESULTS ON $DELTA_N(T)$-INDUCTION. Pag. 43 - 73. En: THE BULLETIN OF THE WORKSHOP ON MODEL THEORY AND COMPLEXITY. EDITORIAL KRONOS. 1997. ISBN 84-88620-08-X - Arrabal-Parrilla, Juan Jose, Balbontin-Noval, Delia, Alonso-Jimenez, Jose Antonio, Lara-Martin, Francisco Felix, Martín-mateos, Francisco Jesús, Pérez-Jiménez, Mario Jesús, Ruiz-Reina, Jose Luis:
GTI: UNA HERRAMIENTA DE EDICIÓN DE CURSOS ADAPTATIVOS. Pag. 627 - 634. En: ACTAS DEL XIII CONGRESO NACIONAL DE INGENIERÍA DE PROYECTOS. ANTONIO F. MARTIN NAVARRO. 1997. ISBN 84-88783-30-2
Publicaciones en Revistas: - Cordon-Franco, Andres, Fernandez-Duque, David, Joosten-, Joost Johannes, Lara-Martin, Francisco Felix:
Predicativity through transfinite recursion. En: The Journal of Symbolic Logic. 2017. Vol. 82. Núm. 3. Pag. 787-808 - Adamowicz, Zofia, Cordon-Franco, Andres, Lara-Martin, Francisco Felix:
Existentially closed models in the framework of arithmetic. En: The Journal of Symbolic Logic. 2016. Vol. 81. Núm. 2. Pag. 744-788 - Cordon-Franco, Andres, Fernández-margarit, Alejandro, Lara-Martin, Francisco Felix:
A Note on Parameter Free $Pi_1$-Induction and Restricted Exponentiation. En: Mathematical Logic Quarterly. 2011. Vol. 57. Núm. 5. Pag. 444-455 10.1002/malq.201010013 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
EXISTENTIALLY CLOSED MODELS AND CONSERVATION RESULTS IN BOUNDED ARITHMETIC. En: Journal of Logic and Computation. 2009. Vol. 19. Núm. 1. Pag. 123-143 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
A NOTE ON SIGMA(1)-MAXIMAL MODELS. En: The Journal of Symbolic Logic. 2007. Vol. 72. Núm. 3. Pag. 1072-1078 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. En: Lecture Notes in Computer Science. 2007. Vol. 4497. Núm. . Pag. 179-188 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ENVELOPES, INDICATORS AND CONSERVATIVENESS. En: Mathematical Logic Quarterly. 2006. Vol. 52. Núm. 1. Pag. 51-70 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
FRAGMENTS OF ARITHMETIC AND TRUE SENTENCES. En: Mathematical Logic Quarterly. 2005. Vol. 51. Núm. 3. Pag. 313-328 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ON THE QUANTIFIER COMPLEXITY OF DELTA(N+1)(T)-INDUCTION. En: Archive for Mathematical Logic. 2004. Vol. 43. Núm. 3. Pag. 371-398 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. En: Lecture Notes in Computer Science. 2004. Vol. 3210. Núm. . Pag. 355-369 - Lara-Martin, Francisco Felix, Fernandez-Margarit, Alejandro:
INDUCTION, MINIMIZATION AND COLLECTION FOR DELTA(N)+(1)(T)-FORMULAS. En: Archive for Mathematical Logic. 2004. Vol. 43. Núm. 4. Pag. 505-541
Aportaciones a Congresos: - Cordon-Franco, Andres, Lara-Martin, Francisco Felix, Loureiro, Manuel:
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, -, POLONIA. 2021 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
LOCAL VERSIONS OF THE KREISEL-LEVY THEOREM. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÈTIQUES FAIBLES/WEAK ARITHMETICS DAYS (29) (29.2010.VARSOVIA (POLONIA)). VARSOVIA (POLONIA). 2010 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ON CONSERVATION RESULTS FOR CONDITIONAL AXIOMS SCHEMES IN FIRST ORDER ARITHMETIC. Comunicación en congreso. LOGIC COLLOQUIUM 2010 () (.2010.PARIS (FRANCIA)). PARIS (FRANCIA). 2010 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
PARAMETER FREE $PI_1$ INDUCTION AND RESTRICTED EXPONENTIATION. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES/WEAK ARITHMETICS DAYS (28) (28.2009.FONTAINEBLEAU, FRANCIA). FONTAINEBLEAU, FRANCIA. 2009 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
A MODEL-THEORETIC APPROACH TO PARAMETER FREE $PI_2$ INDUCTION. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES/WEAK ARITHMETICS DAYS (28) (28.2009.FONTAINEBLEAU, FRANCIA). FONTAINEBLEAU, FRANCIA. 2009 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Comunicación en congreso. COMPUTABILITY IN EUROPE, CIE 2007 (3) (3.2007.SIENA, ITALIA.). SIENA, ITALIA.. 2007 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
ON AXIOM SCHEMES FOR ∆N+1(T)-FORMULAS. Comunicación en congreso. 24E JOURNÉES D¿ARITHMÉTIQUES FAIBLES (WEAK ARITHMETICS DAYS) (24) (24.2005.FONTAINEBLEAU). FONTAINEBLEAU. 2005 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Comunicación en congreso. ANNUAL CONFERENCE OF THE EACSL (13) (13.2004.KARPACZ (POLAND)). KARPACZ (POLAND). 2004 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS. Comunicación en congreso. JOURNÉES SUR LES ARITHMETIQUES FAIBLES/WEAK ARITHMETICS DAYS (22) (22.2003.NÁPOLES, ITALIA). NÁPOLES, ITALIA. 2003 - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
PARAMETER FREE INDUCTION AND TRUE SENTENCES. Comunicación en congreso. INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE (12) (12.2003.OVIEDO (ESPAÑA)). OVIEDO (ESPAÑA). 2003 - Fernandez-Margarit, Alejandro, Lara-Martin, Francisco Felix:
FUNCIONES RECURSIVAS Y FRAGMENTOS DE LA ARITMÉTICA. Comunicación en congreso. ENCUENTRO DE MATEMÁTICOS ANDALUCES (1.2000.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2000 - Lara-Martin, Francisco Felix, Fernandez-Margarit, Alejandro:
A HIERRACHY FOR $DELTA_{N+1}(T)$-INDUCTION. Comunicación en congreso. KURT GÖDEL COLLOQUIUM () (.1999.BARCELONA). . 1999 - Arrabal-Parrilla, Juan Jose, Balbontin-Noval, Delia, Alonso-Jimenez, Jose Antonio, Lara-Martin, Francisco Felix, Martín-mateos, Francisco Jesús, Pérez-Jiménez, Mario Jesús, Ruiz-Reina, Jose Luis:
GTI: UNA HERRAMIENTA DE EDICIÓN DE CURSOS ADAPTATIVOS. Comunicación en congreso. XIII CONGRESO NACIONAL DE INGENIERÍA DE PROYECTOS. Santander (ESPAÑA). 1997
|