Recognition: unknown
Madness and regularity properties
classification
🧮 math.LO
keywords
mathbbomegaabsoluteboundingcardinalconstructexistsfamily
read the original abstract
Starting from an inaccessible cardinal, we construct a model of $ZF+DC$ where there exists a mad family and all sets of reals are $\mathbb Q$-measurable for $\omega^{\omega}$-bounding sufficiently absolute forcing notions $\mathbb Q$.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
Under ZF + CC_R, Ramsey property on a pointclass Γ implies no MAD families (or I-MAD for analytic ideals) in Γ, proving Mathias' conjecture, with parallel results for independent families and Vitali sets.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.