$C_σ$-Unique Dcpos: Intrinsic Characterizations and Counterexamples
A dcpo \(D\) is called \(C_σ\)-unique if for every dcpo \(Q\), \( Γ(D)\cong Γ(Q) \) implies \( D\cong Q, \) where \(Γ(D)\) denotes the lattice of Scott-closed subsets of \(D\). We give an intrinsic characterization of \(C_σ\)-uniqueness in terms of Skula-density and Scott closure, identifying precisely when a proper sub-dcpo can preserve the lattice of Scott-closed sets. Based on this characterization, we answer three open problems: (1) every power $\J^I$ of Johnstone's dcpo is $C_σ$-unique; (2) $C_σ$-uniqueness is not preserved by binary products, even when both factors and their product…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.40191
curl -X POST /api/v1/records/arxiv/2609.40191/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.40191/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'