Interpreting true arithmetic in the local structure of the enumeration degrees
Hristo Ganchev, Mariya I. Soskova · Journal of Symbolic Logic · 2012
Abstract We show that the theory of the local structure of the enumeration degrees is computably isomorphic to the theory of first order arithmetic. We introduce a novel coding method, using the notion of a -pair, to code a large class of countable relations.