科研速览 · Science Skim继续刷下去 · Keep skimming →
◇ arXiv2026-09-16· math.LO

Scott topologies on products of countable complete Heyting algebras

Xiaoquan Xu

原始摘要(英文原文)· Original abstract
We prove that the Scott topology commutes with arbitrary products of countably presented frames and that every such product has a sober Scott space. In particular, this holds for arbitrary products of countable complete Heyting algebras. For a family of consonant spaces, Scott-product compatibility of their open-set lattices is equivalent to consonance of their topological sum. Countable generation does not suffice: a countably generated spatial frame can have a non-sober Scott space and fail the product identity for its square. We also show that the cardinal spectra of Scott non-sober frames and spatial frames are upward closed and, under the Continuum Hypothesis, consist of all uncountable cardinals. Finally, every Artinian $T_0$ web space is a $B$-space; if it is also a $d$-space, it carries the Scott topology of an algebraic dcpo. Consequently, every Artinian meet-continuous dcpo is algebraic. This yields a dichotomy theorem: a dcpo with a non-sober Scott space must fail meet continuity or Artinianity.
读原文 · Read the paper ↗

AI 追问PRO

登录后使用 AI 追问

讨论区

登录后参与讨论

相关论文 · Related

Scott topologies on products of countable complete Heyting algebras — 科研速览 Science Skim