Tag Archives: core-compactness

When do the upper (a.k.a., lower Vietoris) and Scott topologies coincide on the Hoare hyperspace of a space?

I would like to talk about a nifty, recent result due to Yu Chen, Hui Kou, and Zhenchao Lyu. There are two natural topologies on the Hoare hyperspace of a space X, the Scott and the lower Vietoris topology, and … Continue reading

Posted in Uncategorized | Tagged , , , , , | Comments Off on When do the upper (a.k.a., lower Vietoris) and Scott topologies coincide on the Hoare hyperspace of a space?

Irredundant families, the Smyth powerdomain, the Lyu-Jia theorem, and the baby Groemer theorem

A ∩-semilattice of sets is a family of sets that is closed under finite intersections, and it is irredundant if and only if all its non-empty elements are irreducible. That sounds like a ridiculously overconstrained notion, but I will give … Continue reading

Posted in Uncategorized | Tagged , , , | Comments Off on Irredundant families, the Smyth powerdomain, the Lyu-Jia theorem, and the baby Groemer theorem

Core-compact+well-filtered T0=sober locally compact

Last time, I motivated the construction of the well-filterification Wf(X) of a space X of X. Xu, Ch. Shen, X. Xi and D. Zhao by saying that it was needed to understand their proof of the fact that every core-compact … Continue reading

Posted in Uncategorized | Tagged , , | Comments Off on Core-compact+well-filtered T0=sober locally compact