Around random algebra (Q2639059): Difference between revisions

In the first section the authors show that under certain assumptions (e.g. CH) there is a subalgebra of the measure algebra such that in the corresponding forcing extension there is a real dominating all reals of the ground model. Section 2 is concerned with finite support iterated forcing and a characterization of the property of adding random reals at limit stages. These results are connected with the (still open) problem of obtaining a model for \(K_ B(measure)\) having countable cofinality.