TY - RPRT TI - $Δ^1_1$ Effectivization in Borel Combinatorics AU - Riley Thornton PY - 2021 UR - https://arxiv.org/abs/2105.04063 ID - 2105.04063 ER -