@mastersthesis{oai:tsukuba.repo.nii.ac.jp:00026958,
 author = {山本, 啓太 and Yamamoto, Keita},
 month = {},
 note = {筑波大学大学院博士前期課程数理物質科学研究科修士論文},
 title = {Proper Forcing Axiom の無矛盾性},
 year = {2012}
}