Lawson and Mislove posed the following problem in 1990 as Problem~535 in \emph{Open Problems in Topology}: for a core-compact space and a dcpo equipped with its Scott topology, under what conditions on do the Isbell and Scott topologies on agree?It was proved that, for a nonempty bicomplete continuous dcpo , the Isbell and Scott topologies on coincide for every core-compact space if and only if is bounded complete; for every compact core-compact space if and only if is conditionally bounded complete; and for every RW-space if and only if is a pointed continuous -domain.We remove the bicompleteness assumption from all three classifications by combining the forbidden-retract theorem of Jia, Jung and Li with a separation theorem for powers of downward well-ordered chains and suitable Alexandrov test spaces.

生成讲解博客的中文版本

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