On many-sorted ω-categorical theories

2010/12/20 by Enrique Casanovas, Casanovas, Enrique, Rodrigo Peláez +3
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Rings, Modules, and Algebras #math.LO #msc:03C35 #msc:03C45

paper · pdf · doi:10.48550/arxiv.1012.4370

arxiv created 2011/03/18 · arxiv updated 2011/03/21

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.

Related

• On ω-categorical simple theories
• An aleph-zero-categorical theory which is not G-compact and does not have AZ-enumerations
• Weakly ω-Categorified Models of Algebraic Theories
• (∞,1)-Categorical Comprehension Schemes
• Categoricity of the two sorted j-function