New posts in Determinacy

Weakly homogeneous trees under AD