TY  - RPRT
TI  - Finding the limit of incompleteness I
AU  - Yong Cheng
PY  - 2020
DO  - 10.1017/bsl.2020.9
UR  - https://arxiv.org/abs/1902.06658
ID  - 1902.06658
ER  -