Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 285

Preprint Number 285

Previous Next Preprint server

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:

Full text arXiv: pdf, ps.

Last updated: January 6 2011 11:06 Please send your corrections to: