3 improved formatting, capitalization

# exactExact consistency-strength of "all projective sets are ramseyRamsey"

I wonder if the exact consistency strength of "All projective sets have the Ramsey property" is still open. In Solovay's model, all sets have the Ramsey property, so the consistency strength of this is below an inaccessible. As far as I know, there are some implications under forcing axioms. And all sets up to a certain level of the projective hierarchy having the Ramsey property is still do-able from just ZFC. But I can't seem to find anything which shows Solovays inaccessible is really necessary in case of the Ramsey property (like Raisonnier/Shelahs result for Lebesgue measure), or oppositely, that you can get a model where "All projective sets have the Ramsey property" from just ZFC (like for the Baire property).

2 edited tags
1

# exact consistency-strength of "all projective sets are ramsey"

I wonder if the exact consistency strength of
"All projective sets have the Ramsey property"
is still open. In Solovay's model, all sets have the Ramsey property, so the consistency strength of this is below an inaccessible. As far as I know, there are some implications under forcing axioms. And all sets up to a certain level of the projective hierarchy having the Ramsey property is still do-able from just ZFC. But I can't seem to find anything which shows Solovays inaccessible is really necessary in case of the Ramsey property (like Raisonnier/Shelahs result for Lebesgue measure), or oppositely, that you can get a model where "All projective sets have the Ramsey property" from just ZFC (like for the Baire property).