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.)
• 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).