The Nonexistence of Unicorns and Many-Sorted Lwenheim-Skolem Theorems.

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett

Browse the full FM paper archive.