@article{oai:tsukuba.repo.nii.ac.jp:00016281,
 author = {Arai, Toshiyasu},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {227--239},
 title = {A consistency proof as system including Feferman's ID by Takeuti's reduction method},
 volume = {11},
 year = {1987}
}