@article{oai:rikkyo.repo.nii.ac.jp:00010127,
 author = {Horiguchi, Hiroshi},
 issue = {1},
 journal = {Commentarii mathematici Universitatis Sancti Pauli, Rikkyo Daigaku sugaku zasshi},
 month = {Jun},
 note = {P(論文)},
 pages = {71--89},
 title = {The Category of Boolean-Valued Models and Its Applications},
 volume = {34},
 year = {1985}
}