[Back]


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.