Publications > Preprint server > Preprint Number 285
Preprint Number 285
285. Enrique Casanovas, Rodrigo Peláez and Martin Ziegler
On many-sorted ω-categorical theories
Submission date: 21 December 2010.
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 G-compact ω-categorical theories.
Mathematics Subject Classification: 03C35, 03C45
Keywords and phrases:
|Last updated: January 6 2011 11:06||Please send your corrections to:|