Traces, traceability, and lattices of traces under the set theoretic inclusion

Abstract

Let a trace be a computably enumerable set of natural numbers such that ${V^{[m]} = \{n : \langle n, m\rangle \in V \}}$ is finite for all m, where ${\langle^{.},^{.}\rangle}$ denotes an appropriate pairing function. After looking at some basic properties of traces like that there is no uniform enumeration of all traces, we prove varied results on traceability and variants thereof, where a function ${f : \mathbb{N} \rightarrow \mathbb{N}}$ is traceable via a trace V if for all ${m, \langle f(m), m\rangle \in V.}$ Then we turn to lattices

$$\textit{\textbf{L}}_{tr}(V) = (\{W : V \subseteq W \, {\rm and} \, W \, {\rm a} \, {\rm trace}\}, \, \subseteq),$$

V a trace. Here, we study the close relationship to ${\mathcal{E} = (\{A : A \subseteq \mathbb{N} \quad c.e.\}, \subseteq)}$, automorphisms, isomorphisms, and isomorphic embeddings.