We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes${\cal D}_2 \left( {{\bf{\Pi }}_3^0 } \right)$and${\cal D}_\omega \left( {{\bf{\Pi }}_3^0 } \right)$, that is, the class of sets which are 2-differences (respectively,ω-differences) of${\bf{\Pi }}_3^0 $sets.

We present several naturally defined σ-ideals which have Borel bases but, unlike for the classical examples, these ideals are not of bounded Borel complexity. We investigate set-theoretic properties of such σ-ideals.

We propose a reformulation of the ideal $\mathcal {N}$ of Lebesgue measure zero sets of reals modulo an ideal J on $\omega $, which we denote by $\mathcal {N}_J$. In the same way, we reformulate the ideal $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $ -ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent to (...) $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ contains non-meager sets when J does not have the Baire property. We also prove a deep connection between these ideals modulo J and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with $\mathcal {N}_J$ and $\mathcal {N}^*_J$. We show their position with respect to Cichoń’s diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm {add}(\mathcal {N})$ and $\mathrm {cof}(\mathcal {N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals. (shrink)

We extend results of Elekes and Máthé on monotone Borel hulls to an abstract setting of measurable space with negligibles. This scheme yields the respective theorems in the case of category and in the cases associated with the Mendez σ-ideals on the plane. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.