Inducción y recursiónlas teorías I delta N+1(T)
- Lara Martín, Francisco Félix
- Alejandro Fernández Margarit Director/a
Universidad de defensa: Universidad de Sevilla
Fecha de defensa: 25 de febrero de 2000
- Luis María Laita de la Rica Presidente/a
- Rafael Farré Cirera Secretario/a
- Enrique Casanovas Ruiz-Fornells Vocal
- Mario de Jesús Pérez Jiménez Vocal
- Margarita Otero Domínguez Vocal
Tipo: Tesis
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.