@article{oai:tsukuba.repo.nii.ac.jp:00015859, author = {Hayashi, Susumu}, journal = {Tsukuba Journal of Mathematics}, month = {Dec}, pages = {125--135}, title = {A note on provable well-orderings in first order systems with infinitary inference rules}, volume = {1}, year = {1977} }