More on real-valued measurable cardinals and forcing with ideals (Q5951491)

This paper has three separate sections. First, answering a question of Fremlin, the authors show that if \(c\) is real-valued measurable, then the Maharam type of \((c, \mathcal{P}(c), \sigma)\) is \(2^{c}\). \textit{R. M. Solovay} [in: Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics 13, Part I, 397-428 (1971; Zbl 0222.02078)] showed how to force a measurable \(\kappa\) into a real-valued measurable \(\kappa\). The authors define a forcing that is different from Solovay's and that produces a real-valued measurable cardinal. Finally, the authors show that the forcing with a \(\kappa\)-complete ideal over a set \(X\) of cardinality \(\geq \kappa\) cannot be isomorhphic to Random \(\times\) Cohen or to Cohen \(\times\) Random.