TY - RPRT TI - Elementary submodels, coding strategies, and an infinite real number game AU - Will Brian AU - Steven Clontz PY - 2022 UR - https://arxiv.org/abs/2209.02593 ID - 2209.02593 ER -