TY - RPRT TI - Projection Theorems Using Effective Dimension AU - Neil Lutz AU - D. M. Stull PY - 2021 UR - https://arxiv.org/abs/1711.02124 ID - 1711.02124 ER -