arXiv:1912.12815 Abstract | arXiv Analytics

Published 2019-12-30Version 1

We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a $\mathbf{\Pi}^1_2$ MAD family.

Comments: 13 pages

Categories: math.LO

Subjects: 03E15, 03E57, 03E55

Keywords: definable mad families, mad family, anti-large cardinal assumption, bounded proper forcing axiom

Related articles: Most relevant | Search more

arXiv:1310.3250 [math.LO] (Published 2013-10-11)

$Σ^1_2$ and $Π^1_1$ mad families

Asger Törnquist

arXiv:1911.00371 [math.LO] (Published 2019-11-01)

Covering properties of $ω$-mad families

arXiv:2003.10944 [math.LO] (Published 2020-03-24)

The Ramsey property and higher dimensional mad families