TY  - RPRT
TI  - There are no minimal effectively inseparable theories
AU  - Yong Cheng
PY  - 2023
DO  - 10.1215/00294527-2023-0017
UR  - https://arxiv.org/abs/2211.06190
ID  - 2211.06190
ER  -