|
|||||
|
|
Index sets of classes of automatic structures |
|
| Authors: | N S Vinokurov |
| Institution: | (1) Novosibirsk State University, Novosibirsk, Russia |
| Abstract: | 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. |
| Keywords: | automatic model index set computable isomorphism problem uniformity universality |
| 本文献已被 SpringerLink 等数据库收录！ | |