@article{oai:tsukuba.repo.nii.ac.jp:00015859,
author = {Hayashi, Susumu},
journal = {Tsukuba journal of mathematics},
month = {Dec},
note = {In [4], Shirai refmed the well-known result on the provable well-orderings of the pure number theory in Gentzen [2] as follows: Transcinite induction up ti [?] is provable by only the induction ...},
pages = {125--135},
title = {A note on provable well-orderings in first order systems with infinitary inference rules},
volume = {1},
year = {1977}
}