Definable MAD families and forcing axioms

Vera Fischer, David Schrittesser, Thilo Weinert

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