MODELOS BOOLEANOS E INDEPENDENCIA DE LA HIPOTESIS DEL CONTINUO.

EN ESTA TESIS SE PRESENTAN FUNDAMENTALMENTE DOS RESULTADOS NUEVOS EN EL CONTEXTO DE LA APLICABILIDAD DEL METODO DE LOS MODELOS BOOLEANOS A LA OBTENCION DE PRUEBAS METATEORICAS PARA TEORIAS IMPREDICATIVAS DE CLASES. TALES RESULTADOS SON LOS SIGUIENTES: 1) LA ADAPTACION DE LOS MODELOS BOOLEANOS PARA EL ESTUDIO DE LA TEORIA DE CONJUNTOS DE KELLEY Y MORSE EN EL CASO EN QUE EL ALGEBRA QUE DETERMINA EL MODELO ES UN CONJUNTO (NO UNA CLASE PROPIA). 2) UNA SERIE DE PRUEBAS DE INDEPENDENCIA Y CONSISTENCIA RELATIVA RESPECTO A LA TEORIA DE KELLEY Y MORSE UTILIZANDO LA ADAPTACION DEL METODO DE LOS MODELOS BOOLEANOS MENCIONADA ANTERIORMENTE. EN PARTICULAR SE PRESENTA UNA PRUEBA DE LA INDEPENDENCIA DE LA HIPOTESIS GENERALIZADA DEL CONTINUO.