The Community for Technology Leaders
Logic in Computer Science, Symposium on (2010)
Edinburgh, United Kingdom
July 11, 2010 to July 14, 2010
ISSN: 1043-6871
ISBN: 978-0-7695-4114-3
pp: 160-169
ABSTRACT
Several new undecidability results on isomorphism problems for automatic structures are shown: (i) The isomorphism problem for automatic equivalence relations is \pi^0_1-complete. (ii) The isomorphism problem for automatic trees of height $n$ ≳ 2 is \pi^0_2$n$–3-complete. (iii) The isomorphism problem for automatic linear orders is not arithmetical.
INDEX TERMS
automatic structures, isomorphism problems, arithmetical hierarchy
CITATION
Jiamou Liu, Dietrich Kuske, Markus Lohrey, "The Isomorphism Problem on Classes of Automatic Structures", Logic in Computer Science, Symposium on, vol. 00, no. , pp. 160-169, 2010, doi:10.1109/LICS.2010.10
90 ms
(Ver 3.3 (11022016))