PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2013 | 221 | 2 | 129-159
Tytuł artykułu

Computable categoricity versus relative computable categoricity

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We study the notion of computable categoricity of computable structures, comparing it especially to the notion of relative computable categoricity and its relativizations. We show that every 1 decidable computably categorical structure is relatively Δ⁰₂ categorical. We study the complexity of various index sets associated with computable categoricity and relative computable categoricity. We also introduce and study a variation of relative computable categoricity, comparing it to both computable categoricity and relative computable categoricity and its relativizations.
Słowa kluczowe
Rocznik
Tom
221
Numer
2
Strony
129-159
Opis fizyczny
Daty
wydano
2013
Twórcy
  • Department of Mathematics, Victoria University of Wellington, Wellington, New Zealand
  • Department of Mathematics, University of Chicago, 5734 S. University Ave., Chicago, IL 60637, U.S.A.
  • Department of Mathematics, University of Wisconsin, Madison, WI 53706-1388, U.S.A.
  • Kurt Gödel Research Center, for Mathematical Logic, Währinger Straße 25, 1090 Wien, Austria
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm221-2-2
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ć.