Indexed metadata
Products of two sober directed complete posets need not be sober
Hualin Miao, Xiaoyong Xi, Xiaodong Jia, Qingguo Li, Dongsheng Zhao
Source abstract
Abstract We construct two directed complete posets 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. In addition, we show that if and are of a special type of sober complete lattices, then the Scott space of their order product is sober.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.