The paper is about a branch of mathematics that connects order theory (the study of sets where elements can be compared by size or inclusion) and topology (the study of spaces and continuity). A "lattice" is a collection of elements where any two elements have a well-defined greatest lower bound and least upper bound. A lattice is "meet-continuous" if taking greatest lower bounds interacts nicely with certain limits. "Scott topology" is a specific way of defining open sets on a lattice that captures the idea of computational approximation, and "sober" is a technical property meaning the topology has enough points to distinguish between certain kinds of open sets. The central question is whether meet-continuous lattices, under mild size restrictions, behave well with respect to this topology.
The main result is that any meet-continuous lattice with only countably many elements (roughly, a lattice no larger than the set of whole numbers) is guaranteed to be sober in its Scott topology. The authors also show that for any collection of such lattices, putting them together into a product space preserves this nice topological behavior: the natural topology on the product matches the product of the individual topologies, and the resulting space is still sober. These results resolve two open questions that had been posed in a recent companion paper, pushing known results beyond the special case where the lattice satisfies a strong property called distributivity.
The proof strategy uses a clever diagonal argument, a classical technique most famously used by Cantor to show that real numbers cannot be listed in a sequence. Here, the authors use it to extract useful structured pieces from the lattice, which are then assembled into a countable family of sets that can detect which sets are open in the Scott topology. The paper also addresses how bad behavior can arise in larger lattices: the collection of infinite cardinalities for which meet-continuous lattices can fail to be sober is closed upward, meaning once failure is possible at some infinite size, it persists at all larger sizes. Assuming the Continuum Hypothesis, this failure zone turns out to be precisely all uncountable cardinalities.