Inducción y recursión: las teorías I delta N+1(T)

• Autores: Francisco Félix Lara Martín
• Directores de la Tesis: Alejandro Fernández Margarit (dir. tes.)
• Lectura: En la Universidad de Sevilla ( España ) en 2000
• Idioma: español
• Tribunal Calificador de la Tesis: Luis María Laita de la Rica (presid.) , Rafael Farré Cirera (secret.) , Enrique Casanovas Ruiz-Fornells (voc.) , Mario de Jesús Pérez Jiménez (voc.) , Margarita Otero Domínguez (voc.)
• Enlaces
  • Tesis en acceso abierto en: Idus
• Resumen

  • En este trabajo se realiza un analisis de la conjetura de Friedman-Paris, acerca de la equivalencia entre los fragmentos de la Aritmetica de Peano obtenidos al restringir los esquemas de induccion y minimacion a Formula An+1, Para ello se consideran varias versiones de la conjetura y se estudian condiciones suficientes( y en ocasiones tambien necesarias) para que se de la equivalencia buscada en cada caso.

    Se estudian diversas relativizaciones de los esquemas axiomáticos para fórmulas An+1, en los que se exige que la equivalencia entre las Formulas n+1 y n+1 se pruebe en una teoria dada(con esto se sustituye la parte semántica de los esquemas que describen la conjetura de Friedman-Paris, por una condición sintactica).

    Como una segunda aproximacion a la conjetura se estudian las n+2 conscuencias de una teoria, considerando la posibilidad de describirlas mediante una familia de funciones no decrecientes de grafo in-definible.