Monthly Archives: January 2022

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 | Comments Off on Irredundant families, the Smyth powerdomain, the Lyu-Jia theorem, and the baby Groemer theorem