Forbidden substructures for coherence of domains
A coherent domain, in the sense of Dana Scott's domain theory, is a domain in which the intersection of every two compact saturated subsets is again compact, when the domain is equipped with the Scott topology. Coherence plays key roles in classifying Cartesian closed subcategories of domains and in characterizing Lawson compactness of domains. In this paper, we find two typical domains that fail to be coherent, and prove that a bounded algebraic domain fails to be coherent if and only if it has one of the two typical domains as its Scott-continuous retract. Similar results also generalize…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.05833
curl -X POST /api/v1/records/arxiv/2607.05833/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.05833/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'