TY  - RPRT
TI  - Effective inseparability and some applications in meta-mathematics
AU  - Yong Cheng
PY  - 2023
DO  - 10.1093/logcom/exad023
UR  - https://arxiv.org/abs/2210.17333
ID  - 2210.17333
ER  -