Publications in Scientific Journals:
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),
520
- 528.
English abstract:
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.17377/alglog.2015.54.407
Created from the Publication Database of the Vienna University of Technology.