On many-sorted ω-categorical theories
Enrique Casanovas ; Rodrigo Peláez ; Martin Ziegler
Fundamenta Mathematicae, Tome 215 (2011), p. 285-294 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

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.

Publié le : 2011-01-01
EUDML-ID : urn:eudml:doc:282773 
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm214-3-5,
     author = {Enrique Casanovas and Rodrigo Pel\'aez and Martin Ziegler},
     title = {On many-sorted $\omega$-categorical theories},
     journal = {Fundamenta Mathematicae},
     volume = {215},
     year = {2011},
     pages = {285-294},
     zbl = {1258.03035},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm214-3-5}
}

Enrique Casanovas; Rodrigo Peláez; Martin Ziegler. On many-sorted ω-categorical theories. Fundamenta Mathematicae, Tome 215 (2011) pp. 285-294. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm214-3-5/