[Zurück]


Zeitschriftenartikel:

E. Fokina, S. Goncharov, V. Harizanov, O. Kudinov, D. Turetsky:
"Index sets for n-decidable structures categorical relative to m-decidable presentations";
Algebra i logika, 54 (2015), S. 520 - 528.



Kurzfassung englisch:
We study the index sets of the class of d-decidable structures and of the class of d-decidable countably categorical structures, where d is an arbitrary arithmetical Turing degree. It is proved that the first of them is m-complete ∑
3
0, d

, and the second is m-complete ∑
3
0, d

\∑
3
0, d

in the universal computable numbering of computable structures for the language with one binary predicate.

Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.