Consistencia del principio diamante

Ponente(s): Ivan Salgado Carmona

Es bien conocido que el principio diamante es cierto en el modelo L, por lo que es una consecuencia del Axioma de Constructibilidad. Se presentará una breve introducción al forcing semi axiomatizado y se probará la consistencia de diamante con ZFC