Abstract The study of the sobriety Scott spaces has got a relatively long history in domain theory. Lawson and Hoffmann independently proved that space every continuous directed complete poset (usually called domain) is sober. Johnstone constructed first whose non-sober. Soon after, Isbell gave lattice with non-sober space. Based on Isbell’s example, Xu, Xi, Zhao showed there even Heyting algeb...
