TY  - RPRT
TI  - A note on derivability conditions
AU  - Taishi Kurahashi
PY  - 2020
DO  - 10.1017/jsl.2020.33
UR  - https://arxiv.org/abs/1902.00895
ID  - 1902.00895
ER  -