The Field of Reals is not omega-Automatic.

Faried Abu Zaid, Erich Grdel, Lukasz Kaiser

Browse the full STACS paper archive.