TY - RPRT TI - Interpreting the arithmetic in Thompson's group F AU - Vladimir Tolstykh AU - Valery Bardakov PY - 2007 UR - https://arxiv.org/abs/math/0701748 ID - math/0701748 ER -