文章基本信息

标题：Isomorphisms of scattered automatic linear orders
本地全文：下载
作者：Dietrich Kuske
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：16
页码：455-469
DOI：10.4230/LIPIcs.CSL.2012.455
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We prove the undecidability of the existence of an isomorphism between scattered tree-automatic linear orders as well as the existence of automorphisms of scattered word automatic linear orders. For the existence of automatic automorphisms of word automatic linear orders, we determine the exact level of undecidability in the arithmetical hierarchy.
关键词：Automatic structures; isomorphism; automorphism