Model-Theoretic Properties of ω-Automatic Structures

Faried Abu Zaid, Erich Grädel, Łukasz Kaiser, Wied Pakusa
2013 Theory of Computing Systems  
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 several classes of structures such as pairing functions and infinite integral domains do not have an ω-automatic model.
doi:10.1007/s00224-013-9508-6 fatcat:cmjmyiripfejxerkfltknqwf2a