RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2006 Volume 47, Number 5, Pages 1019–1030 (Mi smj908)

Index sets of classes of automatic structures

N. S. Vinokurov

Novosibirsk State University, Mechanics and Mathematics Department

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.

UDC: 510.51, 519.716.35

Received: 18.05.2005
Revised: 22.03.2006


 English version:
Siberian Mathematical Journal, 2006, 47:5, 835–843

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024