collaborators

1 paper

math.GN2025

Products of two sober dcpo's need not be sober

Hualin Miao, Xiaoyong Xi, Xiaodong Jia +2

We construct two dcpo's whose Scott spaces are sober, but the Scott space of their order product is not sober. This answers an open problem on the sobriety of Scott spaces. Meantim…