Mathias's question on MAD families under the Ramsey property
Mathias's question on MAD families under the Ramsey property
Let denote the set of all infinite subsets of for . A set is Ramsey if there is some such that either or . A MAD family is a maximal collection of infinite subsets of 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 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 .
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
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).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.