TY  - RPRT
TI  - When Bi-interpretability implies Synonymy
AU  - Harvey M. Friedman
AU  - Albert Visser
PY  - 2025
DO  - 10.1017/s1755020325100920
UR  - https://arxiv.org/abs/2506.01028
ID  - 2506.01028
ER  -