On many-sorted -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.