Directorio
FRANCISCO FELIX LARA MARTIN
Categoría
Profesor Titular de Universidad
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Investigación
Grupo de investigación
LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (LOCIC)
Proyectos y contratos de investigación
CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO (DGES PB96-1345 - Investigador/a)
MODELOS DE LA ARITMÉTICA Y CLASIFICACIÓN DE FUNCIONES COMPUTABLES (MTM2005-08658 - Investigador/a)
MODELOS DE LA ARITMÉTICA Y ÁLGEBRAS DE FUNCIONES COMPUTABLES (MTM2008-06435 - Investigador/a)
Capítulos en Libros
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON CONSERVATION RESULTS FOR PARAMETER FREE ΠN-INDUCTION. Pág. 49-97. CSLI PUBLICATIONS. CSLI PUBLICATIONS. 2009.
ON CONSERVATION RESULTS FOR PARAMETER FREE ΠN-INDUCTION. Pág. 49-97. CSLI PUBLICATIONS. CSLI PUBLICATIONS. 2009.
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. Pág. 627-634. ANTONIO F. MARTIN NAVARRO. ANTONIO F. MARTIN NAVARRO. 1997.
GTI: UNA HERRAMIENTA DE EDICIÓN DE CURSOS ADAPTATIVOS. Pág. 627-634. ANTONIO F. MARTIN NAVARRO. ANTONIO F. MARTIN NAVARRO. 1997.
Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
SOME RESULTS ON $DELTA_N(T)$-INDUCTION. Pág. 43-73. EDITORIAL KRONOS. EDITORIAL KRONOS. 1997.
SOME RESULTS ON $DELTA_N(T)$-INDUCTION. Pág. 43-73. EDITORIAL KRONOS. EDITORIAL KRONOS. 1997.
Asistencia 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
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:
ON CONSERVATION RESULTS FOR CONDITIONAL AXIOMS SCHEMES IN FIRST ORDER ARITHMETIC. Comunicación en congreso. LOGIC COLLOQUIUM 2010 () (.2010.PARIS (FRANCIA)). PARIS (FRANCIA). 2010
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:
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
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:
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
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:
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
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:
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
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
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
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
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
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
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
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
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
Artículos publicados
Cordon-Franco, Andres;Fernandez-Duque, David;Joosten-, Joost Johannes;Lara-Martin, Francisco Felix:
Predicativity through transfinite recursion. The Journal of Symbolic Logic. 2017. Vol: 82. Núm: 3. Pág. 787-808.
Predicativity through transfinite recursion. The Journal of Symbolic Logic. 2017. Vol: 82. Núm: 3. Pág. 787-808.
Adamowicz, Zofia;Cordon-Franco, Andres;Lara-Martin, Francisco Felix:
Existentially closed models in the framework of arithmetic. The Journal of Symbolic Logic. 2016. Vol: 81. Núm: 2. Pág. 744-788.
Existentially closed models in the framework of arithmetic. The Journal of Symbolic Logic. 2016. Vol: 81. Núm: 2. Pág. 744-788.
Cordon-Franco, Andres;Fernández-margarit, Alejandro;Lara-Martin, Francisco Felix:
A Note on Parameter Free $Pi_1$-Induction and Restricted Exponentiation. Mathematical Logic Quarterly. 2011. Vol: 57. Núm: 5. Pág. 444-455. 10.1002/malq.201010013.
A Note on Parameter Free $Pi_1$-Induction and Restricted Exponentiation. Mathematical Logic Quarterly. 2011. Vol: 57. Núm: 5. Pág. 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. Journal of Logic and Computation. 2009. Vol: 19. Núm: 1. Pág. 123-143.
EXISTENTIALLY CLOSED MODELS AND CONSERVATION RESULTS IN BOUNDED ARITHMETIC. Journal of Logic and Computation. 2009. Vol: 19. Núm: 1. Pág. 123-143.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Lecture Notes in Computer Science. 2007. Vol: 4497. Pág. 179-188.
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Lecture Notes in Computer Science. 2007. Vol: 4497. Pág. 179-188.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
A NOTE ON SIGMA(1)-MAXIMAL MODELS. The Journal of Symbolic Logic. 2007. Vol: 72. Núm: 3. Pág. 1072-1078.
A NOTE ON SIGMA(1)-MAXIMAL MODELS. The Journal of Symbolic Logic. 2007. Vol: 72. Núm: 3. Pág. 1072-1078.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ENVELOPES, INDICATORS AND CONSERVATIVENESS. Mathematical Logic Quarterly. 2006. Vol: 52. Núm: 1. Pág. 51-70.
ENVELOPES, INDICATORS AND CONSERVATIVENESS. Mathematical Logic Quarterly. 2006. Vol: 52. Núm: 1. Pág. 51-70.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
FRAGMENTS OF ARITHMETIC AND TRUE SENTENCES. Mathematical Logic Quarterly. 2005. Vol: 51. Núm: 3. Pág. 313-328.
FRAGMENTS OF ARITHMETIC AND TRUE SENTENCES. Mathematical Logic Quarterly. 2005. Vol: 51. Núm: 3. Pág. 313-328.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON THE QUANTIFIER COMPLEXITY OF DELTA(N+1)(T)-INDUCTION. Archive for Mathematical Logic. 2004. Vol: 43. Núm: 3. Pág. 371-398.
ON THE QUANTIFIER COMPLEXITY OF DELTA(N+1)(T)-INDUCTION. Archive for Mathematical Logic. 2004. Vol: 43. Núm: 3. Pág. 371-398.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Lecture Notes in Computer Science. 2004. Vol: 3210. Pág. 355-369.
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Lecture Notes in Computer Science. 2004. Vol: 3210. Pág. 355-369.
Lara-Martin, Francisco Felix;Fernandez-Margarit, Alejandro:
INDUCTION, MINIMIZATION AND COLLECTION FOR DELTA(N)+(1)(T)-FORMULAS. Archive for Mathematical Logic. 2004. Vol: 43. Núm: 4. Pág. 505-541.
INDUCTION, MINIMIZATION AND COLLECTION FOR DELTA(N)+(1)(T)-FORMULAS. Archive for Mathematical Logic. 2004. Vol: 43. Núm: 4. Pág. 505-541.
