TY - JOUR AU - A. KoĊ›cielski TI - An axiomatic characterization of Boolean-valued models for set theory JO - Colloquium Mathematicum PY - 1973 SP - 165 EP - 170 VL - 27 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/cm-27-2-165-170/ DO - 10.4064/cm-27-2-165-170 LA - en ID - 10_4064_cm_27_2_165_170 ER -