Forcing strong combinatorial properties and cardinal arithmetic

• Autores: Miguel Angel Mota Gaytán
• Directores de la Tesis: David Aspero Herrando, Joan Bagaria i Pigrau
• Lectura: En la Universitat de Barcelona ( España ) en 2009
• Tribunal Calificador de la Tesis: Boban Velickovic (presid.), Michael Hrusák (secret.), Jörg Dietmar Brendle (voc.)
• UNESCO :
  • 11 Lógica
    • 1102 Lógica deductiva
      • 110208 Lógica matemática
• Resumen

  • Se introduce una nueva técnica de iteración de forcing y se prueba que algunas consecuencias del Proper Forcing Axiom son consistentes junto con el continuo arbitrariamente grande,