Dimitriou's conjecture on dependent choice in a symmetric extension
Dimitriou's conjecture. DCωDC_{\omega}DCω fails in that symmetric extension.
MathDB