2022-01-25T17:25:45Zhttps://tsukuba.repo.nii.ac.jp/oaioai:tsukuba.repo.nii.ac.jp:000158752021-03-02T06:55:41ZA relation between transfinite induction and mathematical induction in elementary number theoryShirai, KokioThe purpose of this paper is to clarify a relation which exists between transfinite induction deduced in elementary number theory and a kind of complexity of the induction formulas used in its derivation. ...Institute of Mathematics, University of Tsukuba1977-12jpndepartmental bulletin paperhttp://hdl.handle.net/2241/6970https://tsukuba.repo.nii.ac.jp/records/1587503874982AA00874643Tsukuba journal of mathematics191124https://tsukuba.repo.nii.ac.jp/record/15875/files/7.pdfapplication/pdf2.4 MB2013-12-19