关于2~ω<2^(ω_1)的等价刻划

本文证明了“2~ω<2^(ω_1)”与“每一正规、x(X)≤2~ω,t(X)≤ω局部DCCC次亚Lindelif空间仿紧”是等价的,从而使关于2~ω<2^(ω_1)的等价刻更趋于完整。