Shahram Mohsenipour. A note on subsystems of open induction. Journal of Symbolic Logic, 72(4):1318-1322, 2007. [doi]
@article{Mohsenipour07-0, title = {A note on subsystems of open induction}, author = {Shahram Mohsenipour}, year = {2007}, url = {http://projecteuclid.org/euclid.jsl/1203350788}, tags = {source-to-source, open-source}, researchr = {https://researchr.org/publication/Mohsenipour07-0}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {72}, number = {4}, pages = {1318-1322}, }