TY  - RPRT
TI  - The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
AU  - Benjamin Przybocki
AU  - Guilherme Toledo
AU  - Yoni Zohar
AU  - Clark Barrett
PY  - 2024
UR  - https://arxiv.org/abs/2406.18912
ID  - 2406.18912
ER  -