@misc{indiciaeedba8999aa8d,
  title = {Infinitary Logic Has No Expressive Efficiency Over Finitary Logic},
  author = {Matthew Harrison-Trainor and Miles Kretschmer},
  year = {2023},
  doi = {10.1017/jsl.2023.19},
  url = {https://arxiv.org/abs/2209.05615},
  note = {Source identifier: 2209.05615}
}