Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) TAKAHASHI Motoo,A theorem on the second-order arithmetic with the ω-rule,Journal of the Mathematical Society of Japan,00255645,The Mathematical Society of Japan,1970,22,1,15-24,https://cir.nii.ac.jp/crid/1390001205114726016,https://doi.org/10.2969/jmsj/02210015