@article{oai:tsukuba.repo.nii.ac.jp:00020544, author = {Suzuki, Nobuya}, issue = {1}, journal = {Tsukuba Journal of Mathematics}, month = {Jun}, pages = {19--27}, title = {Models of Peano arithmetic as modules over initial segments}, volume = {29}, year = {2005} }