Aug 16, 2025 Blackwell's Game-Theoretic Proof of Analytic Separation Dec 7, 2024 $\Pi^1_1$ set has a perfect subset if and only if it has nonconstructible element