The Theory of Ceers Computes True Arithmetic
Uri Andrews, Noah Schweber, Andrea Sorbi

TL;DR
This paper demonstrates that various structures of computably enumerable equivalence relations (ceers) and their degrees are computationally as complex as true arithmetic, revealing deep logical equivalences.
Contribution
It establishes that the theory of ceers and related structures is 1-equivalent to true arithmetic, showing their interpretability of natural number arithmetic.
Findings
The theory of ceers is 1-equivalent to true arithmetic.
Dark and light ceers structures are also 1-equivalent to true arithmetic.
Interpretability of natural number arithmetic within these structures is demonstrated.
Abstract
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of -degrees in the dark, light, or complete structure. In each case, we show that there is an interpretable copy of .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
