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}
}
  • Vera Fischer, David Schrittesser, Thilo Weinert
  • 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

    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

    • 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