S. Clontz and W. Brian, “Elementary Submodels, Coding Strategies, and an Infinite Real Number Game”, Top Proc, vol. 62, pp. 151–161, Apr. 2023.