The $\Delta$--closure of $L(Q_1)$ is not finitely generated, assuming CH

by Shelah and Vaananen. [ShVa:798]

We prove that, assuming CH, the logic Delta(L(Q_1)) is not finitely generated. This answers a long-standing open problem


Back to the list of publications