English

Madness and regularity properties

Logic 2017-05-17 v2

Abstract

Starting from an inaccessible cardinal, we construct a model of ZF+DCZF+DC where there exists a mad family and all sets of reals are Q\mathbb Q-measurable for ωω\omega^{\omega}-bounding sufficiently absolute forcing notions Q\mathbb Q.

Keywords

Cite

@article{arxiv.1704.08327,
  title  = {Madness and regularity properties},
  author = {Haim Horowitz and Saharon Shelah},
  journal= {arXiv preprint arXiv:1704.08327},
  year   = {2017}
}
R2 v1 2026-06-22T19:29:01.349Z