@misc{indiciae6a8c6a0602a7,
  title = {Mostowski Index via extended register games},
  author = {Olivier Idir and Karoliina Lehtinen},
  year = {2024},
  url = {https://arxiv.org/abs/2412.16793},
  note = {Source identifier: 2412.16793}
}