The Field of Reals is not omega-Automatic

Feb 29, 2012·
Faried Abu Zaid
,
Erich Grädel
,
Lukasz Kaiser
· 0 min read
Abstract
This paper proves that the field of reals is not omega-automatic, providing new insights into the limitations of automatic structures.
Type
Publication
29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012), Paris, France
Omega-Automatic Structures Real Numbers Logic