An axiomatic characterization of Boolean-valued models for set theory
Volume 27 / 1973
Colloquium Mathematicum 27 (1973), 165-170
DOI: 10.4064/cm-27-2-165-170