@techreport{oai:shizuoka.repo.nii.ac.jp:00005923,
 author = {依岡, 輝幸},
 month = {May},
 note = {2007年度～2009年度 科学研究費補助金(若手研究(B))研究成果報告書, application/pdf},
 title = {アレフ1上の組合せ的命題の独立性と強制法理論},
 year = {2011}
}