Open Research Index

The set of real numbers with the cocountable topology has a bounded complete dcpo model

Dongsheng Zhao, Chong Shen, Xiaoyong Xi

arXivarxiv/2608.03124Aug 4, 2026math.GNscore 0

We construct a bounded complete dcpo P whose maximal point space is homeomorphic to the set R of all reals equipped with the cocountable topology, thereby answering an open problem. Using this dcpo, we obtain a new complete lattice whose Scott space is non-sober.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.03124
curl -X POST /api/v1/records/arxiv/2608.03124/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.03124/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'