1 problem

Let $D$ be a regular ultrafilter on $\aleph_1$ such that $\neg\square^{\text{\tiny\it fin}}_{\aleph_1,D}$. Let…