On many-sorted ω-categorical theories

• Autorzy: Enrique Casanovas , Rodrigo Peláez , Martin Ziegler
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03C35: Categoricity and completeness of theories
• 03C45: Classification theory, stability and related concepts

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2011
• Tom: 214
• Numer: 3
• Strony: 285-294

Daty

wydano

2011

Twórcy

autor

Enrique Casanovas

• Department of Logic, History, and Philosophy of Science, University of Barcelona, Montalegre 5, 08001 Barcelona, Spain

autor

Rodrigo Peláez

• Department of Logic, History, and Philosopy of Science, University of Barcelona, Montalegre 5, 08001 Barcelona, Spain

autor

Martin Ziegler

• Mathematisches Institut, Albert-Ludwigs-Universität Freiburg, D-79104 Freiburg, Germany

Identyfikatory

DOI

10.4064/fm214-3-5