pith. sign in

arxiv: 1410.5197 · v1 · pith:BVB2I4RAnew · submitted 2014-10-20 · 💻 cs.FL

The field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic

classification 💻 cs.FL
keywords ordinal-automaticomegafinite-wordgraphnotionordinalrandomsetting
0
0 comments X
read the original abstract

Recently, Schlicht and Stephan lifted the notion of automatic-structures to the notion of (finite-word) ordinal-automatic structures. These are structures whose domain and relations can be represented by automata reading finite words whose shape is some fixed ordinal $\alpha$. We lift Delhomm\'e's relative-growth-technique from the automatic and tree-automatic setting to the ordinal-automatic setting. This result implies that the random graph is not ordinal-automatic and infinite integral domains are not ordinal-automatic with respect to ordinals below $\omega_1+\omega^\omega$ where $\omega_1$ is the first uncountable ordinal.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.