Convergence Choquet-complete spaces and domain representations
de Brecht, Goubault-Larrecq, Jia and Lyu asked whether every sober convergence Choquet-complete space is domain-complete. We introduce the notion of singleton Choquet-completeness, a weakening of convergence Choquet-completeness in which the open sets chosen by player $α$ are required to have a singleton intersection, but not necessarily to form a neighbourhood basis. We prove that every singleton Choquet-complete $T_1$ space is domain-representable. Consequently, every convergence Choquet-complete $T_1$ space is domain-representable and hence sober. Thus, in the $T_1$ case, the sobriety…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.25796
curl -X POST /api/v1/records/arxiv/2607.25796/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.25796/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'