The Community for Technology Leaders
Logic in Computer Science, Symposium on (2004)
Turku, Finland
July 13, 2004 to July 17, 2004
ISSN: 1043-6871
ISBN: 0-7695-2192-4
pp: 44-53
Bakhadyr Khoussainov , University of Auckland, New Zealand
Andre Nies , University of Auckland, New Zealand
Sasha Rubin , University of Auckland, New Zealand
Frank Stephan , National ICT Australia
ABSTRACT
This paper studies the existence of automatic presentations for various algebraic structures. The automatic Boolean algebras are characterised, and it is proven that the free Abelian group of infinite rank and many Fra?ss? limits do not have automatic presentations. In particular, the countably infinite random graph and the universal partial order do not have automatic presentations. Furthermore, no infinite integral domain is automatic. The second topic of the paper is the isomorphism problem. We prove that the complexity of the isomorphism problem for the class of all automatic structures is \sum\nolimits_1^1-complete.
INDEX TERMS
null
CITATION

B. Khoussainov, S. Rubin, A. Nies and F. Stephan, "Automatic Structures: Richness and Limitations," Logic in Computer Science, Symposium on(LICS), Turku, Finland, 2004, pp. 44-53.
doi:10.1109/LICS.2004.1319599
88 ms
(Ver 3.3 (11022016))