Eu e o Marciel escolhemos o seguinte exercício (e gostaríamos de apresentá-lo no dia 12/12):
\(Exercício\) \(IV.7.58\) Assuma que em \(M\): \(\mathbb{P}\) é \(ccc\) em \(M\) e \(\lozenge\) vale e \(|\mathbb{P}| \leq \aleph_{1}\). Então \(M[G] \models \lozenge\).