activity
20162026
most citedA complete Heyting algebra whose Scott space is non-sober

5 citations · 16 across the 22 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

math.GN2024

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…