Ver Financiación - Prisma - Unidad de Bibliometría

Modelos de la aritmética y álgebras de funciones computables

Referencia: MTM2008-06435

Tipo: Proyecto de investigación
Programa financiador: Plan Nacional del 2008
Entidad financiadora: Ministerio de Educación y Ciencia
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 01/01/2009
Fecha de fin: 31/12/2011
Participantes en la financiación
Nombre Rol
Lara Martín, Francisco Félix Responsable
Cordón Franco, Andrés Investigador/a
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2014 Local induction and provably total computable functions ANNALS OF PURE AND APPLIED LOGIC
Artículo 2014 On axiom schemes for T-provably formulas ARCHIVE FOR MATHEMATICAL LOGIC
Artículo 2013 ON THE OPTIMALITY OF CONSERVATION RESULTS FOR LOCAL REFLECTION IN ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Artículo 2011 A note on parameter free Pi(1)-induction and restricted exponentiation MATHEMATICAL LOGIC QUARTERLY
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS