TY - RPRT TI - The reverse mathematics of Carlson's theorem for located words AU - Tristan Bompard AU - Lu Liu AU - Ludovic Patey PY - 2022 UR - https://arxiv.org/abs/2208.03152 ID - 2208.03152 ER -