English

Epic math battle of history: Grothendieck vs Nikodym

Functional Analysis 2024-12-02 v4 General Topology Logic

Abstract

We define a σ\sigma-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 ω1\omega_1. We also show how to apply our method to streamline Talagrand's construction of such an algebra under the continuum hypothesis.

Keywords

Cite

@article{arxiv.2401.13145,
  title  = {Epic math battle of history: Grothendieck vs Nikodym},
  author = {Damian Głodkowski and Agnieszka Widz},
  journal= {arXiv preprint arXiv:2401.13145},
  year   = {2024}
}

Comments

39 pages, Author Accepted Manuscript (AAM) version