Corollary 3.9.
Assuming that:
|
Y
|
>
|
P
(
ω
)
|
Then
there is no
D
∪
E
-generic
.