More on simple forcing notions and forcings with ideals (Q685060)

This paper is a continuation of the authors' earlier paper [Isr. J. Math. 68, No. 2, 129-160 (1989; Zbl 0686.03027)]. In section 1 the authors prove: If \(\kappa\) is real-valued measurable, then the cardinals below \(\kappa\) can be split into finitely many intervals so that the powers of cardinals from the same intervals are identical. They use an idea of Prikry and Shelah's cardinal arithmetics. This theorem generalizes an earlier result of Prikry. Section two considers when forcing with a \(\kappa\)-complete ideal over \(\kappa\) is isomorphic to the forcing of \(\lambda\)-Cohen or random reals. One consequence of this isomorphism is: If \(2^ \kappa<\kappa^{+\omega}\), then \(\lambda=2^ \kappa\). In section three the investigations on simple forcing notions are used to give a brief ``non-elementary'' proof of the following. If \(A_ 0,A_ 1,\dots,A_ n,\dots\) are sets of reals, then there are disjoint sets \(B_ 0,B_ 1,\dots,B_ n,\dots\) such that \(B_ n\subseteq A_ n\) and \(\mu^*(B_ n)=\mu^*(A_ n)\) for every \(n\), where \(\mu^*\) is Lebesgue outer measure. Section 4 is on Hechler reals. It is proven that forcing with a \(\kappa\)-complete ideal over a set \(X\) where \(| X|\geq \kappa\) cannot be isomorphic to a Hechler real forcing. The paper ends with a list of open problems.