Tesis doctoral de Francisco Félix Lara Martin
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.
Datos académicos de la tesis doctoral «Induccion y recursion: las teorias i delta n+1(t)«
- Título de la tesis: Induccion y recursion: las teorias i delta n+1(t)
- Autor: Francisco Félix Lara Martin
- Universidad: Sevilla
- Fecha de lectura de la tesis: 25/02/2000
Dirección y tribunal
- Director de la tesis
- Alejandro Fernandez Margarit
- Tribunal
- Presidente del tribunal: Luis María Laita de la rica
- mario de Jesús Pérez jiménez (vocal)
- enrique Casanovas ruiz-fornells (vocal)
- margarita Otero dominguez (vocal)