Weak diamond and Galvin's property
classification
🧮 math.LO
keywords
galvinpropertydiamondweakaxiomimpliesnegationaleph
read the original abstract
We prove that the Devlin-Shelah weak diamond implies Galvin's property. On the other hand, Galvin's property is consistent with the negation of the weak diamond, and even with Martin's axiom. We show that the proper forcing axiom implies a relative to the negation of Galvin's property for $\aleph_1$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.