Sur un problème concernant les ensembles projectifs. (Q2598849)

Ist \(E\) eine Menge der Ebene, so wird mit \(f(E)\) die Menge aller reellen Zahlen \(a\) bezeichnet, so daß die Gerade \(x = a\) mit der Menge \(E\) eine Menge mit der Mächtigkeit des Kontinuums gemein hat. Ist nun \(2^{\aleph_0}= \aleph_1\), und ist \(E\) eine Menge \(P_n\), so ist \(f(E)\) eine Menge \(C_{n+1}\). Ohne Verwendung der Kontinuumshypothese gilt: Ist \(E\) eine Menge \(P_2\), so ist \(f(E)\) eine Menge \(P_4\).