Винокуров Н. С.
Индексные множества классов автоматных структур

Получены точные оценки в арифметической и аналитической иерархиях индексных множеств различных классов автоматных моделей.
Также получены оценки проблем существования вычислимого изоморфизма и вложения для автоматных структур.

Vinokurov N. S.
Index sets of classes of automatic structures

We obtain exact estimates in the arithmetical and analytical hierarchies of index sets of various classes of automatic models. We also obtain estimates for the existence problems for computable isomorphism and embedding of automatic structures.

Полный текст статьи / Full texts:

• PDF file (225 KB)
• PostScript file (915 KB)