The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems

Benjamin Przybocki, Guilherme Toledo, Yoni Zohar +1

Stable infiniteness, strong finite witnessability, and smoothness are model-theoretic properties relevant to theory combination in satisfiability modulo theories. Theories that are…