Modelos de inducción acotada

Laburpena

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