Co-analytic mad families and definable wellorders

Archive for Mathematical Logic 52 (7-8):809-822 (2013)

Abstract

We show that the existence of a ${\Pi^1_1}$ -definable mad family is consistent with the existence of a ${\Delta^{1}_{3}}$ -definable well-order of the reals and ${\mathfrak{b}=\mathfrak{c}=\aleph_3}$

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-11-23

Downloads
51 (#226,545)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Happy Families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Infinite Combinatorics and Definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
Cardinal Characteristics and Projective Wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.

View all 15 references / Add more references

Citations of this work

Coanalytic ultrafilter bases.Jonathan Schilhan - 2022 - Archive for Mathematical Logic 61 (3-4):567-581.

Add more citations

Similar books and articles

Cardinal Characteristics and Projective Wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.
Projective Prewellorderings Vs Projective Wellfounded Relations.Xianghui Shi - 2009 - Journal of Symbolic Logic 74 (2):579-596.
Projective Mad Families.Sy-David Friedman & Lyubomyr Zdomskyy - 2010 - Annals of Pure and Applied Logic 161 (12):1581-1587.
Groupwise Density and Related Cardinals.Andreas Blass - 1990 - Archive for Mathematical Logic 30 (1):1-11.
Projective Spinor Geometry and Prespace.F. A. M. Frescura - 1988 - Foundations of Physics 18 (8):777-808.
Pointwise Definable Models of Set Theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
Mad Families, Splitting Families and Large Continuum.Jörg Brendle & Vera Fischer - 2011 - Journal of Symbolic Logic 76 (1):198 - 208.