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.)
- Materias:
- 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.
