@misc{indiciaec44e6220c77a,
  title = {The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems},
  author = {Benjamin Przybocki and Guilherme Toledo and Yoni Zohar and Clark Barrett},
  year = {2024},
  url = {https://arxiv.org/abs/2406.18912},
  note = {Source identifier: 2406.18912}
}