Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 15 min ago
PreprintCC BY-NC-SA 4.0arXiv

Scott--Isbell Coincidence for Continuous Dcpos beyond Bicompleteness

Abstract

Lawson and Mislove posed the following problem in 1990 as Problem~535 in \emph{Open Problems in Topology}: for a core-compact space X and a dcpo P equipped with its Scott topology, under what conditions on P do the Isbell and Scott topologies on C(X,P) agree?It was proved that, for a nonempty bicomplete continuous dcpo P, the Isbell and Scott topologies on C(X,P) coincide for every core-compact space X if and only if P is bounded complete; for every compact core-compact space X if and only if P is conditionally bounded complete; and for every RW-space X if and only if P is a pointed continuous L-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.

Related

  1. Every countable meet-continuous lattice is Scott sober
    Xiaoquan Xu, Wei Ji
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  2. Scott topologies on meet-continuous domains
    Xiaoquan Xu
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  3. Scott products and sobriety of countable meet-continuous dcpos
    Xiaoquan Xu, Wei Ji
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  4. On the coincidence of discrete and continuous definitions of Entanglement of Formation
    Haobo Ma, Maksim E. Shirokov, Wenlin Zhang
    arXivPreprintarXiv licenceFull textAnalysis & PDEsMathematical physicsarXiv
  5. A Lean 4 Formalization of Scott's Continuous Lattices (1972)
    Lars Warren Ericson
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
BibTeX
@misc{chen2026scottisbell,
  title = {{Scott--Isbell Coincidence for Continuous Dcpos beyond Bicompleteness}},
  author = {Yuxu Chen and Yunjie Wen and Xiaoyong Xi},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.28123},
  eprint = {2609.28123},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.28123},
  note = {CC BY-NC-SA 4.0},
}
RIS
TY  - UNPB
TI  - Scott--Isbell Coincidence for Continuous Dcpos beyond Bicompleteness
AU  - Yuxu Chen
AU  - Yunjie Wen
AU  - Xiaoyong Xi
PY  - 2026
DA  - 2026/09/23
PB  - arXiv
DO  - 10.48550/arxiv.2609.28123
UR  - https://arxiv.org/abs/2609.28123
AB  - Lawson and Mislove posed the following problem in 1990 as Problem~535 in \emph{Open Problems in Topology}: for a core-compact space X and a dcpo P equipped with its Scott topology, under what conditions on P do the Isbell and Scott topologies on C(X,P) agree?It was proved that, for a nonempty bicomplete continuous dcpo P, the Isbell and Scott topologies on C(X,P) coincide for every core-compact space X if and only if P is bounded complete; for every compact core-compact space X if and only if P is conditionally bounded complete; and for every RW-space X if and only if P is a pointed continuous L-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.
ER  -