Epic math battle of history: Grothendieck vs Nikodym
arXiv:2401.13145 · doi:10.1016/j.jfa.2024.110757
Abstract
We define a -centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation of the continuum hypothesis. The algebra we construct consists of Borel subsets of the Cantor set and has cardinality . We also show how to apply our method to streamline Talagrand's construction of such an algebra under the continuum hypothesis.
39 pages, Author Accepted Manuscript (AAM) version