arXiv Analytics

Sign in

arXiv:1012.4370 [math.LO]AbstractReferencesReviewsResources

On many-sorted $ω$-categorical theories

Enrique Casanovas, Rodrigo Peláez, Martin Ziegler

Published 2010-12-20, updated 2011-03-18Version 3

We prove that every many-sorted $\omega$-categorical theory is completely interpretable in a one-sorted $\omega$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $\omega$-categorical theories.

Categories: math.LO
Subjects: 03C35, 03C45
Related articles: Most relevant | Search more
arXiv:math/9204206 [math.LO] (Published 1992-04-15)
A short proof of the irreflexivity conjecture
arXiv:2208.06879 [math.LO] (Published 2022-08-14)
Who Finds the Short Proof? An Exploration of variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
arXiv:0810.4705 [math.LO] (Published 2008-10-26, updated 2010-01-02)
Iteratively algebraic orders

Links

Toolbox