On sobriety of Scott topology on dcpos
arXiv:2211.15027
Abstract
In this paper, we mainly investigate the conditions under which the Scott topology on the product of two posets is equal to the product of the individual Scott topologies and under which the Scott topology on a dcpo is sober. Some such conditions are given.
arXiv comment20 pages, 3 figures