Sh:1097

• Golshani, M., Horowitz, H., & Shelah, S. On the classification of definable ccc forcing notions. Preprint. arXiv: 1610.07553
• Abstract:
  We show that for a Suslin ccc forcing notion \mathbb Q adding a Hechler real, “\text{ZF}+\text{DC}_{\omega_1}+all sets of reals are I_{\mathbb Q,\aleph_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.
• Version 2023-01-02 (36p)

@article{Sh:1097,
 author = {Golshani, Mohammad and Horowitz, Haim and Shelah, Saharon},
 title = {{On the classification of definable ccc forcing notions}},
 note = {\href{https://arxiv.org/abs/1610.07553}{arXiv: 1610.07553}},
 arxiv_number = {1610.07553}
}