@misc{oai:tsukuba.repo.nii.ac.jp:00011680,
 author = {鈴木, 宣哉 and Suzuki, Nobuya},
 month = {},
 note = {2006, 【要旨】},
 title = {Models of Peano arithmetic as modules over initial segments and quantifier elimination results for products of ordered Abelian groups},
 year = {2007}
}