Coding in graphs and linear orderings
Abstract
There is a Turing computable embedding of directed graphs in undirected graphs. Moreover, there is a fixed tuple of formulas that give a uniform interpretation; i.e., for all directed graphs , these formulas interpret in . It follows that A is Medvedev reducible to uniformly; i.e., there is a fixed Turing operator that serves for all . We observe that there is a graph that is not Medvedev reducible to any linear ordering. Hence, is not effectively interpreted in any linear ordering. Similarly, there is a graph that is not interpreted in any linear ordering using computable formulas. Any graph can be interpreted in a linear ordering using computable 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 formulas that, for all , interpret the input graph in the output linear ordering . 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