(1) It is shown that if c is real-valued measurable then the Maharam type of (c, P(c), σ) is 2 c. 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 κ-complete ideal over… (More)
A method of iteration of Prikry type forcing notions as well as a forcing for adding clubs is presented. It is applied to construct a model with a measurable cardinal containing a club of former regulars, starting with o(κ) = κ + 1. On the other hand, it is shown that the strength of above is at least o(κ) = κ.
We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem. Suppose κ is a singular strong limit cardinal and 2 κ ≥ λ where λ is not the successor of a cardinal of cofinality at most κ. If cf(κ) > ω then it follows that o(κ) ≥ λ, and if… (More)