Re: Existence of Grothendieck Universes

I wrote: If measurables exist then every analytic set of reals (i.e. projection of a Borel set in the plane) is measurable. Careless of me. ZFC is enough on its own to prove that every analytic set is measurable, either countable or contains a perfect subset, and has the property of Baire. Measurables get you the same results one real quantifier higher; i.e. for projections of co-analytic sets. For future reference, if I notice an error after making a submission on lists like this, can I write the moderator and ask to make a correction?