Under the Continuum hypothesis, enumerate the meagre covers by . At stage choose a new real outside all earlier covers and the previous choices. The excluded union is meagre, so the Baire category theorem makes the choice possible. Each cover then contains only countably many selected points. Arbitrary meagre sets need not themselves have only continuum many possible choices; the coded covers are what is enumerated.

Articles by others on the same topic (0)

There are currently no matching articles.