ORDER-THEORETIC INVARIANTS IN SET-THEORETIC TOPOLOGY
ORDER-THEORETIC INVARIANTS IN SET-THEORETIC TOPOLOGY
ORDER-THEORETIC INVARIANTS IN SET-THEORETIC TOPOLOGY
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
The resolution of concern to us in constructed by van Mill [46]. It is a compactum<br />
with weight c, π-weight ω, and character ω1. Moreover, assuming MA + ¬CH (or just<br />
p > ω1), this space is homogeneous. (It is not homogeneous if 2 ω < 2 ω1 .) Clearly, this<br />
space has sufficiently small Noetherian type and π-type. We just need to show that it<br />
has local Noetherian type ω. Van Mill’s space is a resolution of 2 ω at each point into<br />
T ω1 where T is the circle group R/Z.<br />
Notice that T is metrizable. The following lemma proves that every metric com-<br />
pactum has Noetherian type ω, along with some results that will be useful in Section 3.3.<br />
Lemma 3.2.8. Let X be a metric compactum with base A. Then there exists B ⊆ A<br />
satisfying the following.<br />
1. B is a base of X.<br />
2. B is ω op -like.<br />
3. If U, V ∈ B and U V , then U ⊆ V .<br />
4. For all Γ ∈ [B]