Corpus ID: 209515422

# 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}
}
• Published 2019
• Mathematics
• 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

• Mathematics, Computer Science
• J. Symb. Log.
• 2011
VIEW 2 EXCERPTS

## The bounded proper forcing axiom and well orderings of the reals

• Mathematics
• 2006

## Forcing axioms and projective sets of reals

VIEW 1 EXCERPT

## Proper forcing and remarkable cardinals

• Ralf Schindler
• Mathematics, Computer Science
• Bulletin of Symbolic Logic
• 2000
VIEW 1 EXCERPT

## Infinite Combinatorics and Definability

VIEW 2 EXCERPTS

## Set theory - an introduction to independence proofs

• Kenneth Kunen
• Mathematics, Computer Science
• Studies in logic and the foundations of mathematics
• 1983