Sur une question concernant la propriété de M. Baire. (Q1445060)

Eine Menge \(M\) besitzt die ``Bairesche Eigenschaft'' \(\mathfrak E\), wenn jede beliebige perfekte Menge \(P\) einen Teil \(P_1\) enthält, so daß entweder \(M\) oder seine Komplementärmenge von erster Kategorie bezüglich \(P_1\) ist. Es ist bekannt, daß jede Borelsche Menge diese Eigenschaft besitzt. Sierpiński hat dem Verf. die Frage vorgelegt, ob jede Menge mit der Eigenschaft \(\mathfrak E\) meßbar sein müsse. Auf Grund der Kontinuumshypothese beantwortet der Verf. diese Frage negativ.