On many-sorted $\omega $-categorical theories
Volume 214 / 2011
Fundamenta Mathematicae 214 (2011), 285-294
MSC: Primary 03C45; Secondary 03C35.
DOI: 10.4064/fm214-3-5
Abstract
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.
