# Definable MAD families and forcing axioms.

@inproceedings{Fischer2019DefinableMF, title={Definable MAD families and forcing axioms.}, author={Vera Fischer and David Schrittesser and Thilo Weinert}, year={2019} }

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

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### References

##### Publications referenced by this paper.

SHOWING 1-8 OF 8 REFERENCES

## HAPPY AND MAD FAMILIES IN L ( R )

VIEW 1 EXCERPT

## $\Sigma^1_2$ and $\Pi^1_1$ mad families

VIEW 1 EXCERPT

## BPFA and projective well-orderings of the reals

VIEW 2 EXCERPTS

## Forcing axioms and projective sets of reals

VIEW 1 EXCERPT

## Proper forcing and remarkable cardinals

VIEW 1 EXCERPT

## Infinite Combinatorics and Definability

VIEW 2 EXCERPTS