文章基本信息

标题：The Field of Reals is not omega-Automatic
本地全文：下载
作者：Faried Abu Zaid ; Erich Gr{\"a}del ; Lukasz Kaiser 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：14
页码：577-588
DOI：10.4230/LIPIcs.STACS.2012.577
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We investigate structural properties of omega-automatic presentations of infinite structures in order to sharpen our methods to determine whether a given structure is omega-automatic. We apply these methods to show that no field of characteristic 0 admits an injective omega-automatic presentation, and that uncountable fields with a definable linear order cannot be omega-automatic.
关键词：Logic; Algorithmic Model Theory; Automatic Structures