Toshiyasu Arai. Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions. Journal of Symbolic Logic, 83(3):1091-1111, 2018. [doi]
@article{Arai18-0,
title = {Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions},
author = {Toshiyasu Arai},
year = {2018},
doi = {10.1017/jsl.2018.36},
url = {https://doi.org/10.1017/jsl.2018.36},
researchr = {https://researchr.org/publication/Arai18-0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {83},
number = {3},
pages = {1091-1111},
}