TY  - RPRT
TI  - Proof-theoretic strengths of weak theories for positive inductive definitions
AU  - Toshiyasu Arai
PY  - 2018
UR  - https://arxiv.org/abs/1603.01342
ID  - 1603.01342
ER  -