@article{oai:tsukuba.repo.nii.ac.jp:00015670,
 author = {Tsuboi, Akito},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {305--318},
 title = {On M-recursively saturated models of arithmetic},
 volume = {6},
 year = {1982}
}