We construct two examples of a compact, 0-dimensional space which supports a Radon probability measure whose measure algebra is isomorphic to the measure algebra of $2^{ω_1}$. The first construction uses ♢ to produce an S-space with no convergent sequences in which every perfect set is a $G_δ$. A space with these properties must be both hereditarily normal and hereditarily countably paracompact. The second space is constructed under CH and is both HS and HL.
@article{10_4064_fm_143_1_41_54,
author = {Mirna D\v{z}amonja and Kenneth Kunen},
title = {Measures on compact {HS} spaces},
journal = {Fundamenta Mathematicae},
pages = {41--54},
year = {1993},
volume = {143},
number = {1},
doi = {10.4064/fm-143-1-41-54},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-143-1-41-54/}
}
TY - JOUR
AU - Mirna Džamonja
AU - Kenneth Kunen
TI - Measures on compact HS spaces
JO - Fundamenta Mathematicae
PY - 1993
SP - 41
EP - 54
VL - 143
IS - 1
UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-143-1-41-54/
DO - 10.4064/fm-143-1-41-54
LA - en
ID - 10_4064_fm_143_1_41_54
ER -