@misc{oai:tsukuba.repo.nii.ac.jp:00010528,
 author = {Arai, Toshiyasu and 新井, 敏康},
 month = {},
 note = {1986, 【要旨】},
 title = {Proof-theoretic investigations of iterated hyperjumps by Takeuti's reduction method},
 year = {1987}
}