MODNET
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
E-mail:

Submission date: 21 December 2010.

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 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: