Saharon Shelah

ON THE CLASSIFICATION OF DEFINABLE CCC FORCING NOTIONS

Abstract We show that for a Suslin ccc forcing notion Q $\mathbb Q$ double struck upper Q adding a Hechler real, “ ZF + DC ω 1 + $\mathrm {ZF}+\mathrm {DC}_{\omega _1}+$ upper Z upper F plus upper D upper C Subscript omega 1 plus all sets of reals are I Q , ℵ 0 $I_{\mathbb Q,\ale...