A Quasicontinuous Domain Without an Interval Retract
We give negative answers to two questions of X.Xu concerning the occurrence of the unit interval in nonquasialgebraic quasicontinuous domains. We construct, directly from the binary tree and the binary-value map, a well-founded quasicontinuous dcpo \[ P=2^{<ω}\mathbin{\dot\cup}[0,1] \] which is not quasialgebraic. Moreover, $P$ contains no sub-dcpo isomorphic to $[0,1]$, and $[0,1]$ is not a Scott-continuous retract of $P$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.20284
curl -X POST /api/v1/records/arxiv/2609.20284/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20284/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'