The theory of ceers computes true arithmetic
From MaRDI portal
Publication:2187270
DOI10.1016/j.apal.2020.102811zbMath1442.03021arXiv1909.09401MaRDI QIDQ2187270
Noah Schweber, Uri Andrews, Andrea Sorbi
Publication date: 2 June 2020
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1909.09401
03F30: First-order arithmetic and fragments
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory