On many-sorted $\omega$-categorical theories
Logic
2011-03-21 v3
Abstract
We prove that every many-sorted -categorical theory is completely interpretable in a one-sorted -categorical theory. As an application, we give a short proof of the existence of non --compact -categorical theories.
Keywords
Cite
@article{arxiv.1012.4370,
title = {On many-sorted $\omega$-categorical theories},
author = {Enrique Casanovas and Rodrigo Peláez and Martin Ziegler},
journal= {arXiv preprint arXiv:1012.4370},
year = {2011}
}