An axiomatic characterization of Boolean-valued models for set theory A. Kościelski — 1973 Colloquium Mathematicae