TY - RPRT TI - An Escape from Vardanyan's Theorem AU - Ana de Almeida Borges AU - Joost J. Joosten PY - 2021 DO - 10.1017/jsl.2022.38 UR - https://arxiv.org/abs/2102.13091 ID - 2102.13091 ER -