TY  - RPRT
TI  - The Theory of Ceers Computes True Arithmetic
AU  - Uri Andrews
AU  - Noah Schweber
AU  - Andrea Sorbi
PY  - 2020
UR  - https://arxiv.org/abs/1909.09401
ID  - 1909.09401
ER  -