TY - RPRT TI - Set theory is interpretable in the automorphism group of a free group AU - Vladimir Tolstykh PY - 1997 UR - https://arxiv.org/abs/math/9712249 ID - math/9712249 ER -