Model-Theoretic Properties of ?-Automatic Structures
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.
logic algorithmic model theory automatic structures