TY - RPRT TI - Bi-interpretation in weak set theories AU - Alfredo Roque Freire AU - Joel David Hamkins PY - 2020 UR - https://arxiv.org/abs/2001.05262 ID - 2001.05262 ER -