Modelos de inducción acotada
- Borrego Díaz, Joaquín
- Alejandro Fernández Margarit Director/a
Universidad de defensa: Universidad de Sevilla
Año de defensa: 1994
- Luis María Laita de la Rica Presidente/a
- Mario de Jesús Pérez Jiménez Secretario/a
- Juan Carlos Martínez Alonso Vocal
- Margarita Otero Domínguez Vocal
- José Antonio Alonso Jiménez Vocal
Tipo: Tesis
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).