Interpreting true arithmetic in the local structure of the enumeration degrees.

Paper Info

Title
Interpreting true arithmetic in the local structure of the enumeration degrees.

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 A-pair, to code a large class of countable relations.

Authors (2 rows)

Cited by (1 rows)

References (3 rows)

Name	Order	Citations	PageRank
Hristo Ganchev	1	5	4.04
Mariya Ivanova Soskova	2	21	10.54