Countable tightness in the spaces of regular probability measures
We prove that if K is a compact space and the space P(K × K) of regular probability measures on K × K has countable tightness in its weak* topology, then L₁(μ) is separable for every μ ∈ P(K). It has been known that such a result is a consequence of Martin's axiom MA(ω₁). Our theorem has several consequences; in particular, it generalizes a theorem due to Bourgain and Todorčević on measures on Rosenthal compacta.