On many-sorted $ω$-categorical theories

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.

No reviews yet.

No comments yet.