English

Coding in graphs and linear orderings

Logic 2020-06-22 v2

Abstract

There is a Turing computable embedding Φ\Phi of directed graphs AA in undirected graphs. Moreover, there is a fixed tuple of formulas that give a uniform interpretation; i.e., for all directed graphs AA, these formulas interpret AA in Φ(G)\Phi(G). It follows that A is Medvedev reducible to Φ(A)\Phi(A) uniformly; i.e., there is a fixed Turing operator that serves for all AA. We observe that there is a graph GG that is not Medvedev reducible to any linear ordering. Hence, GG is not effectively interpreted in any linear ordering. Similarly, there is a graph that is not interpreted in any linear ordering using computable Σ2\Sigma_2 formulas. Any graph can be interpreted in a linear ordering using computable Σ3\Sigma_3 formulas. Friedman and Stanley gave a Turing computable embedding L of directed graphs in linear orderings. We show that there is no fixed tuple of Lω1,ωL_{\omega_1,\omega} formulas that, for all GG, interpret the input graph GG in the output linear ordering L(G)L(G). Harrison-Trainor and Montalb\'an have also shown this, by a quite different proof.

Keywords

Cite

@article{arxiv.1903.06948,
  title  = {Coding in graphs and linear orderings},
  author = {Julia Knight and Alexandra Soskova and Stefan Vatev},
  journal= {arXiv preprint arXiv:1903.06948},
  year   = {2020}
}

Comments

Accepted in JSL

R2 v1 2026-06-23T08:10:15.067Z