PID y principios de cuadrado

Ponente(s): Víctor Torres Pérez, Liuzhen Wu

Demostramos que el principio PID implica la negación del principio del cuadrado $\Box(\lambda, \omega)$ para todo cardinal regular $\lambda\geq \omega_2$.