TY - RPRT TI - The pseudofinite monadic second order theory of words AU - Deacon Linkhorn PY - 2022 UR - https://arxiv.org/abs/2202.07774 ID - 2202.07774 ER -