加载中…
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. Meantime, we show that if and are special type of sober complete lattices, then the Scott space of their order product is sober.

生成讲解博客的中文版本

生成AI智能校验的中文版本