Tesis doctoral de Joaquin Borrego Diaz
Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones entre los esquemas de induccion, minimizacion y el principio de overspill para formulas acotadas, especialmente para las formulas vn. Se introduce el esquema del crecimiento para analizar la conjetura acotada de friedman y se relaciona este nuevo esquema con los anteriores. – descripcion de la estructura de los modelos de ien, a traves de los mayores segmentos iniciales modelo de teorias de induccion acotada, y de los conjuntos ek-definibles sin primer elemento. – estudio de la definibilidad por formulas acotadas. – analisis del problema de la extension final para modelos de induccion acotada, a traves del concepto de modelo -maximal, proporcionando una condicion suficiente para una respuesta negativa de problema. – estudio de las funciones recursivas en induccion acotada, clasificandola segun la complejidad de la formula que la define, y estudiando la jerarquia de funciones recursivas en ien (i -0).
Datos académicos de la tesis doctoral «Modelos de induccion acotada.«
- Título de la tesis: Modelos de induccion acotada.
- Autor: Joaquin Borrego Diaz
- Universidad: Sevilla
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Alejandro Fernandez Margarit
- Tribunal
- Presidente del tribunal: Luis María Laita De La Rica
- Margarita Otero Dominguez (vocal)
- Carlos Martinez Alonso (vocal)
- José Antonio Alonso Jimenez (vocal)