%0 Journal Article
%T On many-sorted $¦Ř$-categorical theories
%A Enrique Casanovas
%A Rodrigo Pel¨˘ez
%A Martin Ziegler
%J Mathematics
%D 2010
%I arXiv
%X 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 of non $G$--compact $\omega$-categorical theories.
%U http://arxiv.org/abs/1012.4370v3