The Distance Function on a Computable Graph

Wesley Calvert, Russell Miller, Jennifer Chubb Reimann

We apply the techniques of computable model theory to the distance function of a graph. This task leads us to adapt the definitions of several truth-table reducibilities so that th…