Ceers 理论可计算真算术
逻辑
2020-02-25 v2
摘要
我们证明，在可计算归约下，可计算枚举等价关系（ceers）的偏序理论与真算术是 1-等价的。对于由暗 ceers 组成的结构以及由亮 ceers 组成的结构，我们证明了相同的结果。对于暗、亮或完全结构中的 -度结构，我们也证明了同样的结论。在每种情形下，我们都证明了存在 的可解释副本。
引用
@article{arxiv.1909.09401,
title = {The Theory of Ceers Computes True Arithmetic},
author = {Uri Andrews and Noah Schweber and Andrea Sorbi},
journal= {arXiv preprint arXiv:1909.09401},
year = {2020}
}