Sep 14, 2025 Why is the Kleene-Brouwer order also called the Luzin-Sierpinski order? 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