On many-sorted $\omega$-categorical theories

Enrique Casanovas, Rodrigo Peláez, Martin Ziegler

We prove that every many-sorted $\omega$-categorical theory is completely interpretable in a one-sorted $\omega$-categorical theory. As an application, we give a short proof of the existence…