On the Classification of Definable CCC Forcing Notions

We show that for a Suslin ccc forcing notion Q Q double struck upper Q adding a Hechler real, “ ZF + DC ω 1 + ZF+DCω ₁+ upper Z upper F plus upper D upper C Subscript omega 1 plus all sets of reals are I Q , ℵ 0 IQ, ₀ upper I Subscript double struck upper Q comma normal first transfinite cardinal 0 -measurable” implies the existence of an inner model with a measurable cardinal. We also introduce a wide class of Suslin ccc forcing notions which add a Hechler real, so that the above result applies to them.