A non-sober core-compact meet-continuous dcpo
We construct a meet-continuous dcpo whose Scott space is core-compact but neither sober nor locally compact. The example is a proper sub-dcpo of a locally compact sober complete lattice, and restriction induces an isomorphism between their lattices of Scott-closed sets. It follows that a locally compact sober dcpo need not be determined, among all dcpos, by its Scott-closed-set lattice.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.22033
curl -X POST /api/v1/records/arxiv/2610.22033/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.22033/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'