Modelos booleanos e independencia de la hipótesis del continuo

• Autores: Ramón Jansana Ferrer
• Directores de la Tesis: Jesús Mosterín (dir. tes.)
• Lectura: En la Universitat de Barcelona ( España ) en 1982
• Idioma: español
• Tribunal Calificador de la Tesis: Francisco Saes Valles (presid.), J. Daniel Quesada Casajuana (secret.), Manuel Garrido (voc.), Alejandro Sanvisens i Marfull (voc.), Jesús Mosterín (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Álgebra de Boole
  • Matemáticas
    • Álgebra
      • Teoría axiomática de conjuntos
• Texto completo no disponible (Saber más ...)
• Resumen

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