@article{oai:tsukuba.repo.nii.ac.jp:00015868,
 author = {Arai, Toshiyasu},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {209--218},
 title = {An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions},
 volume = {8},
 year = {1984}
}