Modelos de inducción acotada
- Autores: Joaquín Borrego Díaz
- Directores de la Tesis: Alejandro Fernández Margarit (dir. tes.)
- Lectura: En la Universidad de Sevilla ( España ) en 1994
- Idioma: español
- Tribunal Calificador de la Tesis: Luis María Laita de la Rica (presid.), Mario de Jesús Pérez Jiménez (secret.), Juan Carlos Martínez Alonso (voc.), Margarita Otero Domínguez (voc.), José Antonio Alonso Jiménez (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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).
