PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2011 | 214 | 3 | 285-294
Tytuł artykułu

On many-sorted ω-categorical theories

Treść / Zawartość
Warianty tytułu
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.
Słowa kluczowe
Twórcy
  • Department of Logic, History, and Philosophy of Science, University of Barcelona, Montalegre 5, 08001 Barcelona, Spain
  • Department of Logic, History, and Philosopy of Science, University of Barcelona, Montalegre 5, 08001 Barcelona, Spain
  • Mathematisches Institut, Albert-Ludwigs-Universität Freiburg, D-79104 Freiburg, Germany
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm214-3-5
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.