We show that it is relatively consistent with ZFC that there is a non-meager set of reals [Formula: see text] such that for every non-meager [Formula: see text], there exist distinct [Formula: see text] such that [Formula: see text] is computable from the Turing join of [Formula: see text] and [Formula: see text].

We construct a model satisfying “κ is quasi measurable”. Here, we call κ quasi measurable if there is an ℵ1‐saturated κ‐additive ideal on κ. We also show that, in this model, forcing with adds one but not κ Cohen reals. We introduce a weak club principle and use it to show that, consistently, for some ℵ1‐saturated κ‐additive ideal on κ, forcing with adds one but not κ random reals.

We prove that the null ideal restricted to a non-null set of reals could be isomorphic to a variety of sigma ideals. Using this, we show that the following are consistent: (1) There is a non-null subset of plane each of whose non-null subsets contains three collinear points. (2) There is a partition of a non-null set of reals into null sets, each of size [Formula: see text], such that every transversal of this partition is null.