TY  - RPRT
TI  - A theory satisfying a strong version of Tennenbaum's theorem
AU  - Patrick Lutz
AU  - James Walsh
PY  - 2023
UR  - https://arxiv.org/abs/2309.11598
ID  - 2309.11598
ER  -