LARA MARTIN, FRANCISCO FELIX

Perfil 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 US

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• 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).

Publicaciones

Capí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