Zeitschriftenartikel:
E. Fokina, S. Goncharov, V. Harizanov, O. Kudinov, D. Turetsky:
"Index sets for n-decidable structures categorical relative to m-decidable presentations";
Algebra and Logic,
54
(2015),
S. 336
- 341.
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10469-015-9353-6
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.