The Field of Reals is not ω-Automatic
Faried Abu Zaid, Erich Grädel, Ëukasz Kaiser · RWTH Publications (RWTH Aachen) · 2012
We investigate structural properties of ω-automatic presentations of infinite structures in order to sharpen our methods to determine whether a given structure is ω-automatic. We apply these methods to show that no field of characteristic 0 admits an injective ω-automatic presentation, and that uncountable fields with a definable linear order cannot be ω-automatic.