More on real-valued measurable cardinals and forcing with ideals

Moti Gitik, Saharon Shelah

Research output: Contribution to journalArticlepeer-review

Abstract

(1) It is shown that if c is real-valued measurable then the Maharam type of (c, P(c), σ) is 2c. This answers a question of D. Fremlin [Fr, (P2f)]. (2) A different construction of a model with a real-valued measurable cardinal is given from that of R. Solovay [So]. This answers a question of D. Fremlin [Fr, (P1)]. (3) The forcing with a K-complete ideal over a set X, |X| ≥ K cannot be isomorphic to Random x Cohen or Cohen x Random. The result for X = K was proved in [Gi-Sh1] but, as was pointed out to us by M. Burke, the application of it in [Gi-Sh2] requires dealing with any X. The application is: if An is a set of reals for n < ω then for some pairwise disjoint Bn (for n < ω) we have Bn ⊆ An but they have the same outer Lebesgue measure.

Original languageEnglish
Pages (from-to)221-242
Number of pages22
JournalIsrael Journal of Mathematics
Volume124
DOIs
StatePublished - 2001

Fingerprint

Dive into the research topics of 'More on real-valued measurable cardinals and forcing with ideals'. Together they form a unique fingerprint.

Cite this