Mathias's question on MAD families under the Ramsey property

Less than 1 year old · traced to

Let [A]ω[A]^\omega denote the set of all infinite subsets of AA for A⊆NA\subseteq\mathbb N. A set X⊆[N]ωX\subseteq[\mathbb N]^\omega is Ramsey if there is some B∈[N]ωB\in[\mathbb N]^\omega such that either [B]ω⊆X[B]^\omega\subseteq X or X∩[B]ω=∅X\cap[B]^\omega=\emptyset. A MAD family is a maximal collection of infinite subsets of N\mathbb N whose distinct members have finite intersection. Solovay's model is a model in which every set is Lebesgue measurable, has the Baire property, and has the Ramsey property.

Mathias's question. In Solovay's model, are there infinite MAD families? More generally, is it a theorem of ZF+DCR\mathsf{ZF}+\mathsf{DC}_{\mathbb R} that there are no infinite MAD families assuming that all sets are Ramsey?

Mathias proved that no analytic MAD family exists and established consistency results concerning the non-existence of MAD families; the questions ask whether the strong regularity of all sets being Ramsey rules out infinite MAD families in Solovay's model or already under ZF+DCR\mathsf{ZF}+\mathsf{DC}_{\mathbb R}.

References

Primary source

Jialiang He, Jintao Luo and Shuguo Zhang, “Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects”, arXiv:2604.26570 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.